constant a/0 f/1. predicate p/1 q/1 r/1 g/2. % Some first-order conjectures prove {x} (p(x) => p(x)). prove ({x} p(x)) => ({x} p(x)). prove T. prove ({x} p(x)) => ( p(x)). prove ( p(x)) => ( p(x)). prove ({y}g(x,y)) => ({y} g(x,y)). % Some conjectures involving constant a prove (({x} (~p(x) v r(x))) => (p(a) => r(a))). prove ((~p(a) v r(a)) => (p(a) => r(a))).