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))).
47 [hyper,2,1,2] P(i(x,i(y,i(z,y)))).
48 [hyper,3,1,3] P(i(i(i(i(x,y),i(z,y)),u),i(i(z,x),u))).
50 [hyper,3,1,2] P(i(i(i(x,y),z),i(y,z))).
51 [hyper,48,1,48] P(i(i(x,i(y,z)),i(i(u,y),i(x,i(u,z))))).
54 [hyper,48,1,3] P(i(i(x,y),i(i(i(x,z),u),i(i(y,z),u)))).
61 [hyper,51,1,2] P(i(i(x,y),i(z,i(x,z)))).
63 [hyper,54,1,51] P(i(i(x,i(i(y,z),u)),i(i(y,v),i(x,i(i(v,z),u))))).
98 [hyper,50,1,5] P(i(n(x),i(x,y))).
100 [hyper,50,1,2] P(i(x,i(y,i(z,x)))).
153 [hyper,61,1,98] P(i(x,i(n(y),x))).
178 [hyper,153,1,47] P(i(n(x),i(y,i(z,i(u,z))))).
3754 [hyper,4,1,50] P(i(x,i(i(x,y),y))).
3816 [hyper,3754,1,51] P(i(i(x,i(y,z)),i(y,i(x,z)))).
3942 [hyper,3816,1,3] P(i(i(i(x,i(y,z)),u),i(i(y,i(x,z)),u))).
3994 [hyper,3816,1,2] P(i(x,i(y,y))).
4028 [hyper,3994,1,100] P(i(x,i(y,i(z,i(u,u))))).
4033 [hyper,3994,1,4] P(i(i(i(x,x),y),y)).
4864 [hyper,4033,1,4] P(i(i(x,i(y,y)),i(y,y))).
17197 [hyper,4864,1,4028] P(i(i(x,i(y,y)),i(x,i(y,y)))).
17207 [hyper,4864,1,178] P(i(i(x,i(y,x)),i(x,i(y,x)))).
17243 [hyper,17197,1,3942] P(i(i(x,i(y,x)),i(y,i(x,x)))).
17860 [hyper,17207,1,63] P(i(i(x,i(i(y,z),u)),i(i(y,y),i(x,i(i(y,z),u))))).
17970 [hyper,17243,1,3] P(i(i(x,x),i(i(y,x),i(y,x)))).
18146 [hyper,17860,1,17970] P(i(i(x,x),i(i(y,y),i(i(x,y),i(x,y))))).