% This example is not provable.

set(auto).

formula_list(usable).

-((all x (all y (r(x, y) & r(y, x)))) -> (all x r(x, x))).

end_of_list.
