formula_list(usable).

( all x y z ( i(k(r(x),y),z) -> i(k(x,c(z)),c(y)) ) ).

( all x y z ( i(k(x,c(k(c(y),c(z)))),c(k(c(k(x,y)),c(z))) ) ) ).

end_of_list.