For all alternative bindings of Cond Action can be
proven. The example verifies that all arithmetic statements in the list L
are correct. It does not say which is wrong if one proves wrong.
?- forall(member(Result = Formula, [2 = 1 + 1, 4 = 2 * 2]),
Result =:= Formula).
