----- MACE 2.2, August 2003 ----- The process was started by mccune on gyro.thornwood, Tue Aug 19 14:47:13 2003 The command was "../../bin/mace2 -n4". list(usable). 1 [] -P(e(x,y))| -P(x)|P(y). 2 [] P(e(e(x,y),e(e(y,z),e(z,x)))). 3 [] -P(e(a,a)). 4 [] -P(x)| -(x