% This example is not provable.

set(auto).

formula_list(usable).

-(((exists x s(x)) & (exists x t(x))) -> (exists x (s(x) & t(x)))).

end_of_list.
