PM ✱4·87: ((((p ∧ q) ⊃ r) ≡ (p ⊃ (q ⊃ r))) ∧ ((p ⊃ (q ⊃ r)) ≡ (q ⊃ (p ⊃ r)))) ∧ ((q ⊃ (p ⊃ r)) ≡ ((q ∧ p) ⊃ r))

Initializing...

PM ✱4·87: ((((p ∧ q) ⊃ r) ≡ (p ⊃ (q ⊃ r))) ∧ ((p ⊃ (q ⊃ r)) ≡ (q ⊃ (p ⊃ r)))) ∧ ((q ⊃ (p ⊃ r)) ≡ ((q ∧ p) ⊃ r)) · Prove2Me