twee-2.7.1: examples/cm.p

fof(a, axiom, ![X, Y]: plus(X, Y)=plus(Y, X)).
fof(a, axiom, ![X, Y, Z]: plus(plus(X, Y), Z)=plus(X, plus(Z, Y))).
fof(a, axiom, a!=b).