T006
(forall ?X (forall ?Y (=> (not (= (f ?X) (f ?Y))) (not (= ?X ?Y)))))
Proof Trace