ID003
Premises:
(= a b) (= b c)
Conclusion:
(= a c)
Proof Trace