1 [] -P(i(x,y))| -P(x)|P(y).
2 [] P(i(x,i(y,x))).
3 [] P(i(i(x,i(y,z)),i(i(x,y),i(x,z)))).
5 [] P(i(x,i(n(x),y))).
94 [hyper,1,2,2] P(i(x,i(y,i(z,y)))).
95 [hyper,1,3,3] P(i(i(i(x,i(y,z)),i(x,y)),i(i(x,i(y,z)),i(x,z)))).
97 [hyper,1,3,2] P(i(i(x,y),i(x,x))).
100 [hyper,1,3,5] P(i(i(x,n(x)),i(x,y))).
107 [hyper,1,2,94] P(i(x,i(y,i(z,i(u,z))))).
111 [hyper,1,95,94] P(i(i(x,i(i(y,x),z)),i(x,z))).
113 [hyper,1,95,97] P(i(i(x,i(x,y)),i(x,y))).
116 [hyper,1,2,97] P(i(x,i(i(y,z),i(y,y)))).
213 [hyper,1,3,116] P(i(i(x,i(y,z)),i(x,i(y,y)))).
220 [hyper,1,2,100] P(i(x,i(i(y,n(y)),i(y,z)))).
753 [hyper,1,95,113] P(i(i(x,i(x,x)),i(x,x))).
12783 [hyper,1,753,116] P(i(i(x,x),i(x,x))).
12785 [hyper,1,753,107] P(i(i(x,i(y,x)),i(x,i(y,x)))).
12833 [hyper,1,12783,213] P(i(i(x,i(y,y)),i(x,i(y,y)))).
12903 [hyper,1,12785,94] P(i(i(x,y),i(y,i(x,y)))).
18541 [hyper,1,111,220] P(i(n(x),i(x,y))).
18563 [hyper,1,12833,18541] P(i(n(x),i(x,x))).
18605 [hyper,1,12903,18563] P(i(i(x,x),i(n(x),i(x,x)))).
18706 [hyper,1,213,18605] P(i(i(x,x),i(n(x),n(x)))).