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