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