ID006
(=> (= ?X ?Y) (= ?Y ?X))
Proof Trace