Method of Truth Tables/Indirect Technique/Example

Example of Indirect Truth Tahle Technique
Consider the proposition:
 * $\left({\left({p \implies q}\right) \land \neq q}\right) \implies \neg p$