PrAOE32
Premises:
(forall (?X ?Y) (= (+ ?X ?Y) (+ ?Y ?X)))
Conclusion:
(forall (?X ?Y) (=> (even (+ ?X ?Y)) (even (+ ?Y ?X))))
Proof Trace