Query:

Answer:

Justification: Expand All+1-1Collapse All

• Bob goes to the opera on a day A not equal monday, nor tuesday, because
  • Bob does not stay at home on A not equal monday, nor tuesday, because
    • 'rule 1' holds (for A), because
      • it is assumed that Bob goes to the opera on a day A not equal monday, nor tuesday.
    • 'rule 2' holds (for A), because
      • A is not equal monday.
• The global constraints hold, because
  • the global constraint number 1 holds, because
    • 'G.Const. 1' holds, because
      • forall C, 'G.Const. 1' holds (for C), because
        • 'G.Const. 1' holds (for B), because
          • there is no evidence that 'baby' holds (for B), with B not equal tuesday, because
            • 'rule 1' holds (for B), because
              • B is not equal tuesday.
        • 'G.Const. 1' holds (for tuesday), because
          • 'baby' holds (for tuesday), and
          • there is no evidence that Bob goes to the opera on the day tuesday, because
            • 'rule 1' holds (for tuesday), because
              • 'home' holds (for tuesday), because
                • it is assumed that there is no evidence that Bob goes to the opera on the day tuesday.