T005
(forall ?X (forall ?Y (forall ?Z (=> (and (= ?X ?Y) (not (= ?Y ?Z))) (not (= ?X ?Z))))))
Proof Trace