T2-272
(=> (exists ?Y (forall ?X (<=> (F ?X ?Y) (F ?X ?X)))) (not (forall ?X (exists ?Y (forall ?Z (<=> (F ?Z ?Y) (not (F ?Z ?X))))))))
Proof Trace