J006
Premises:
(exists ?X (forall ?Y (<=> (F ?Y) (= ?X ?Y))))
Conclusion:
(forall ?X (forall ?Y (=> (and (F ?X) (F ?Y)) (= ?X ?Y))))
Proof Trace