P
Initializing...
PM ✱5·31: $(r \land (p \supset q)) \supset (p \supset (q \land r))$ · Prove2Me