set(print_models_portable). assign(iterate_up_to, 3). clauses(theory). % denial of group f(f(X,Y),Z) != f(X,f(Y,Z)) | f(f(g(X),X),Y) != Y | f(g(X),X) != f(g(Y),Y). end_of_list.