T326
(not (exists ?Y (forall ?X (<=> (not (= ?X ?X)) (= ?X ?Y)))))
Proof Trace