formula_list(usable).

(	all x y z ( (i(x,y) & i(x,z)) -> i(x,n(y,z)) )). % 26

(	all x y ( i( n(x,y), x ) & i( n(x,y), y ) )). % 27

end_of_list.