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