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

Initializing...

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