J001
Premises:
(or (= c a) (= b a)) (G a)
Conclusion:
(or (G b) (G c))
Proof Trace