Query:
I would like to know if
Bob goes to the opera on A, a day
Answer:
Yes, I found that
when A is not equal monday
Bob goes to the opera on a day A not equal monday
Justification:
-
Bob goes to the opera on a day A not equal monday, because
-
Bob does not stay at home on A not equal monday, because
-
'rule 1' holds (for A), because
-
it is assumed that Bob goes to the opera on a day A not equal monday.
-
'rule 2' holds (for A), because
-
The global constraints hold.