T2-314
(<=> (or (F ?X) (not (= ?X ?Y))) (or (F ?Y) (not (= ?X ?Y))))
Proof Trace