JL
(Click "Prove" to run)
Premises:
(p a b) (p b c) (=> (and (p ?X ?Y) (p ?Y ?Z)) (p ?X ?Z))
Conclusion:
(p a c)
Proof Trace