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:
Expand All
+1
-1
Collapse All
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
A is not equal monday.
The global constraints hold.