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