Same facts as ifThenTheory1, but with the two a/1 clauses in reverse order (a(2) before a(1)).
a/1
a(2)
a(1)