Same ->/2 request goals as ifThen1ToSolution, but run over ifThenTheory2 (a/1 clauses reversed).
->/2
a/1