Proof by Contradiction/Variant 1

Theorem

 * $\paren {p \vdash \paren {q \land \neg q} } \vdash \neg p$