1 [] -P(i(x,y))| -P(x)|P(y).
2 [] P(i(x,i(y,x))).
3 [] P(i(i(x,y),i(i(y,z),i(x,z)))).
4 [] P(i(i(i(x,y),y),i(i(y,x),x))).
5 [] P(i(i(n(x),n(y)),i(y,x))).
118 [hyper,1,2,2] P(i(x,i(y,i(z,y)))).
119 [hyper,1,3,3] P(i(i(i(i(x,y),i(z,y)),u),i(i(z,x),u))).
121 [hyper,1,3,2] P(i(i(i(x,y),z),i(y,z))).
122 [hyper,1,3,4] P(i(i(i(i(x,y),y),z),i(i(i(y,x),x),z))).
126 [hyper,1,4,118] P(i(i(i(x,i(y,x)),z),z)).
139 [hyper,1,121,5] P(i(n(x),i(x,y))).
140 [hyper,1,121,4] P(i(x,i(i(x,y),y))).
143 [hyper,1,3,139] P(i(i(i(x,y),z),i(n(x),z))).
148 [hyper,1,3,140] P(i(i(i(i(x,y),y),z),i(x,z))).
179 [hyper,1,121,126] P(i(x,x)).
185 [hyper,1,140,179] P(i(i(i(x,x),y),y)).
214 [hyper,1,4,185] P(i(i(x,i(y,y)),i(y,y))).
235 [hyper,1,122,119] P(i(i(i(i(x,y),i(z,y)),i(z,y)),i(i(x,z),i(x,y)))).
385 [hyper,1,119,148] P(i(i(x,i(y,z)),i(y,i(x,z)))).
395 [hyper,1,148,4] P(i(x,i(i(y,x),x))).
591 [hyper,1,385,395] P(i(i(x,y),i(y,y))).
598 [hyper,1,591,591] P(i(i(x,x),i(x,x))).
628 [hyper,1,591,118] P(i(i(x,i(y,x)),i(x,i(y,x)))).
645 [hyper,1,143,598] P(i(n(x),i(x,x))).
1390 [hyper,1,121,628] P(i(i(x,y),i(y,i(x,y)))).
1494 [hyper,1,1390,645] P(i(i(x,x),i(n(x),i(x,x)))).
12600 [hyper,1,119,214] P(i(i(x,y),i(x,x))).
12736 [hyper,1,2,12600] P(i(x,i(i(y,z),i(y,y)))).
24987 [hyper,1,235,12736] P(i(i(x,i(y,z)),i(x,i(y,y)))).
25144 [hyper,1,24987,1494] P(i(i(x,x),i(n(x),n(x)))).