PM ✱3·47: $((p \supset r) \land (q \supset s)) \supset ((p \land q) \supset (r \land s))$

Initializing...

PM ✱3·47: $((p \supset r) \land (q \supset s)) \supset ((p \land q) \supset (r \land s))$ · Prove2Me