PM ✱3·37 (Transp): $((p \land q) \supset r) \supset ((p \land {\sim} r) \supset {\sim} q)$

Initializing...

PM ✱3·37 (Transp): $((p \land q) \supset r) \supset ((p \land {\sim} r) \supset {\sim} q)$ · Prove2Me