ID007
Premises:
(= ?X ?Y)
Conclusion:
(= a b)
Proof Trace