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