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