J019
(=> (exists ?X (exists ?Y (= ?X ?Y))) (exists ?X (exists ?Y (= ?X ?Y))))
Proof Trace