T004
(forall ?X (forall ?Y (=> (and (F ?X) (not (F ?Y))) (not (= ?X ?Y)))))
Proof Trace