% This example is not provable.

set(auto).

formula_list(usable).

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

end_of_list.
