T003
Premises:
(= a b) (= b c) (P a)
Conclusion:
(P c)
Proof Trace