Theorem T000524

∧ ¬ ∧ ¬ ⇒ ¬