| Name | Domain | Initial State |
|---|---|---|
| CHARLES KILLED AGATHA | 0..1 | Unknown |
| AGATHA KILLED AGATHA | 0..1 | Unknown |
| Number of People Charles Hates | 0..3 | Unknown |
| Charles Hates Charles | 0..1 | Unknown |
| Butler Richer Than Butler | 0..1 | Unknown |
| BUTLER KILLED AGATHA | 0..1 | Unknown |
| Agatha Richer Than Agatha | 0..1 | Unknown |
| Number of People Agatha Hates | 0..3 | Unknown |
| Agatha Hates Butler | 0..1 | Unknown |
| Agatha Hates Charles | 0..1 | Unknown |
| Charles Richer Than Butler | 0..1 | Unknown |
| Butler Richer Than Charles | 0..1 | Unknown |
| Butler Hates Butler | 0..1 | Unknown |
| Charles Hates Butler | 0..1 | Unknown |
| Number of Killers | 0..3 | Unknown |
| Butler Hates Charles | 0..1 | Unknown |
| Butler Richer Than Agatha | 0..1 | Unknown |
| Agatha Richer Than Butler | 0..1 | Unknown |
| Charles Richer Than Charles | 0..1 | Unknown |
| Agatha Richer Than Charles | 0..1 | Unknown |
| Charles Hates Agatha | 0..1 | Unknown |
| Butler Hates Agatha | 0..1 | Unknown |
| Agatha Hates Agatha | 0..1 | Unknown |
| Charles Richer Than Agatha | 0..1 | Unknown |
| Number of People Butler Hates | 0..3 | Unknown |
| Status | Constraints | Decision Tables |
|---|---|---|
| On | IF BUTLER KILLED AGATHA = 1 THEN Butler Hates Agatha = 1 | KillerHatesAndNoRicherHisVictim |
| On | IF BUTLER KILLED AGATHA = 1 THEN Butler Richer Than Agatha = 0 | KillerHatesAndNoRicherHisVictim |
| On | IF CHARLES KILLED AGATHA = 1 THEN Charles Hates Agatha = 1 | KillerHatesAndNoRicherHisVictim |
| On | IF CHARLES KILLED AGATHA = 1 THEN Charles Richer Than Agatha = 0 | KillerHatesAndNoRicherHisVictim |
| On | IF AGATHA KILLED AGATHA = 1 THEN Agatha Hates Agatha = 1 | KillerHatesAndNoRicherHisVictim |
| On | IF AGATHA KILLED AGATHA = 1 THEN Agatha Richer Than Agatha = 0 | KillerHatesAndNoRicherHisVictim |
| On | Agatha Richer Than Agatha = 0 | NooneRicherHerself |
| On | Butler Richer Than Butler = 0 | NooneRicherHerself |
| On | Charles Richer Than Charles = 0 | NooneRicherHerself |
| On | Agatha Richer Than Butler+Butler Richer Than Agatha=1 | RicherNotRicher |
| On | Agatha Richer Than Charles+Charles Richer Than Agatha=1 | RicherNotRicher |
| On | Charles Richer Than Butler+Butler Richer Than Charles=1 | RicherNotRicher |
| On | IF Agatha Hates Butler = 1 THEN Charles Hates Butler = 0 | CharlesHatesNooneAgathaHates |
| On | IF Agatha Hates Charles = 1 THEN Charles Hates Charles = 0 | CharlesHatesNooneAgathaHates |
| On | IF Agatha Hates Agatha = 1 THEN Charles Hates Agatha = 0 | CharlesHatesNooneAgathaHates |
| On | Agatha Hates Agatha = 1 | AgathaHates |
| On | Agatha Hates Charles = 1 | AgathaHates |
| On | Agatha Hates Butler = 0 | AgathaHates |
| On | IF Charles Richer Than Agatha = 0 THEN Butler Hates Charles = 1 | ButlerHates |
| On | IF Butler Richer Than Agatha = 0 THEN Butler Hates Butler = 1 | ButlerHates |
| On | IF Agatha Richer Than Agatha = 0 THEN Butler Hates Agatha = 1 | ButlerHates |
| On | IF Agatha Hates Charles = 1 THEN Butler Hates Charles = 1 | ButlerHates |
| On | IF Agatha Hates Butler = 1 THEN Butler Hates Butler = 1 | ButlerHates |
| On | IF Agatha Hates Agatha = 1 THEN Butler Hates Agatha = 1 | ButlerHates |
| On | Number of People Agatha Hates | DefineHateSums |
| On | Number of People Butler Hates | DefineHateSums |
| On | Number of People Charles Hates | DefineHateSums |
| On | Number of People Agatha Hates < 3 | NooneHatesEveryone |
| On | Number of People Butler Hates < 3 | NooneHatesEveryone |
| On | Number of People Charles Hates < 3 | NooneHatesEveryone |
| On | Number of Killers | DefineSumOfKillers |
| On | Number of Killers = 1 | SomeoneKilledAgatha |
| Name | Value |
|---|---|
| CHARLES KILLED AGATHA | 0 |
| AGATHA KILLED AGATHA | 1 |
| Number of People Charles Hates | 0 |
| Charles Hates Charles | 0 |
| Butler Richer Than Butler | 0 |
| BUTLER KILLED AGATHA | 0 |
| Agatha Richer Than Agatha | 0 |
| Number of People Agatha Hates | 2 |
| Agatha Hates Butler | 0 |
| Agatha Hates Charles | 1 |
| Charles Richer Than Butler | 1 |
| Butler Richer Than Charles | 0 |
| Butler Hates Butler | 0 |
| Charles Hates Butler | 0 |
| Number of Killers | 1 |
| Butler Hates Charles | 1 |
| Butler Richer Than Agatha | 1 |
| Agatha Richer Than Butler | 0 |
| Charles Richer Than Charles | 0 |
| Agatha Richer Than Charles | 0 |
| Charles Hates Agatha | 0 |
| Butler Hates Agatha | 1 |
| Agatha Hates Agatha | 1 |
| Charles Richer Than Agatha | 1 |
| Number of People Butler Hates | 2 |
| Name | Value |
|---|---|
| CHARLES KILLED AGATHA | 0 |
| AGATHA KILLED AGATHA | 1 |
| Number of People Charles Hates | 0 |
| Charles Hates Charles | 0 |
| Butler Richer Than Butler | 0 |
| BUTLER KILLED AGATHA | 0 |
| Agatha Richer Than Agatha | 0 |
| Number of People Agatha Hates | 2 |
| Agatha Hates Butler | 0 |
| Agatha Hates Charles | 1 |
| Charles Richer Than Butler | 0 |
| Butler Richer Than Charles | 1 |
| Butler Hates Butler | 0 |
| Charles Hates Butler | 0 |
| Number of Killers | 1 |
| Butler Hates Charles | 1 |
| Butler Richer Than Agatha | 1 |
| Agatha Richer Than Butler | 0 |
| Charles Richer Than Charles | 0 |
| Agatha Richer Than Charles | 0 |
| Charles Hates Agatha | 0 |
| Butler Hates Agatha | 1 |
| Agatha Hates Agatha | 1 |
| Charles Richer Than Agatha | 1 |
| Number of People Butler Hates | 2 |
| Name | Value |
|---|---|
| CHARLES KILLED AGATHA | 0 |
| AGATHA KILLED AGATHA | 1 |
| Number of People Charles Hates | 0 |
| Charles Hates Charles | 0 |
| Butler Richer Than Butler | 0 |
| BUTLER KILLED AGATHA | 0 |
| Agatha Richer Than Agatha | 0 |
| Number of People Agatha Hates | 2 |
| Agatha Hates Butler | 0 |
| Agatha Hates Charles | 1 |
| Charles Richer Than Butler | 1 |
| Butler Richer Than Charles | 0 |
| Butler Hates Butler | 0 |
| Charles Hates Butler | 0 |
| Number of Killers | 1 |
| Butler Hates Charles | 1 |
| Butler Richer Than Agatha | 1 |
| Agatha Richer Than Butler | 0 |
| Charles Richer Than Charles | 0 |
| Agatha Richer Than Charles | 1 |
| Charles Hates Agatha | 0 |
| Butler Hates Agatha | 1 |
| Agatha Hates Agatha | 1 |
| Charles Richer Than Agatha | 0 |
| Number of People Butler Hates | 2 |
| Name | Value |
|---|---|
| CHARLES KILLED AGATHA | 0 |
| AGATHA KILLED AGATHA | 1 |
| Number of People Charles Hates | 0 |
| Charles Hates Charles | 0 |
| Butler Richer Than Butler | 0 |
| BUTLER KILLED AGATHA | 0 |
| Agatha Richer Than Agatha | 0 |
| Number of People Agatha Hates | 2 |
| Agatha Hates Butler | 0 |
| Agatha Hates Charles | 1 |
| Charles Richer Than Butler | 0 |
| Butler Richer Than Charles | 1 |
| Butler Hates Butler | 0 |
| Charles Hates Butler | 0 |
| Number of Killers | 1 |
| Butler Hates Charles | 1 |
| Butler Richer Than Agatha | 1 |
| Agatha Richer Than Butler | 0 |
| Charles Richer Than Charles | 0 |
| Agatha Richer Than Charles | 1 |
| Charles Hates Agatha | 0 |
| Butler Hates Agatha | 1 |
| Agatha Hates Agatha | 1 |
| Charles Richer Than Agatha | 0 |
| Number of People Butler Hates | 2 |
| Name | Value |
|---|---|
| CHARLES KILLED AGATHA | 0 |
| AGATHA KILLED AGATHA | 1 |
| Number of People Charles Hates | 1 |
| Charles Hates Charles | 0 |
| Butler Richer Than Butler | 0 |
| BUTLER KILLED AGATHA | 0 |
| Agatha Richer Than Agatha | 0 |
| Number of People Agatha Hates | 2 |
| Agatha Hates Butler | 0 |
| Agatha Hates Charles | 1 |
| Charles Richer Than Butler | 1 |
| Butler Richer Than Charles | 0 |
| Butler Hates Butler | 0 |
| Charles Hates Butler | 1 |
| Number of Killers | 1 |
| Butler Hates Charles | 1 |
| Butler Richer Than Agatha | 1 |
| Agatha Richer Than Butler | 0 |
| Charles Richer Than Charles | 0 |
| Agatha Richer Than Charles | 0 |
| Charles Hates Agatha | 0 |
| Butler Hates Agatha | 1 |
| Agatha Hates Agatha | 1 |
| Charles Richer Than Agatha | 1 |
| Number of People Butler Hates | 2 |
| Name | Value |
|---|---|
| CHARLES KILLED AGATHA | 0 |
| AGATHA KILLED AGATHA | 1 |
| Number of People Charles Hates | 1 |
| Charles Hates Charles | 0 |
| Butler Richer Than Butler | 0 |
| BUTLER KILLED AGATHA | 0 |
| Agatha Richer Than Agatha | 0 |
| Number of People Agatha Hates | 2 |
| Agatha Hates Butler | 0 |
| Agatha Hates Charles | 1 |
| Charles Richer Than Butler | 0 |
| Butler Richer Than Charles | 1 |
| Butler Hates Butler | 0 |
| Charles Hates Butler | 1 |
| Number of Killers | 1 |
| Butler Hates Charles | 1 |
| Butler Richer Than Agatha | 1 |
| Agatha Richer Than Butler | 0 |
| Charles Richer Than Charles | 0 |
| Agatha Richer Than Charles | 0 |
| Charles Hates Agatha | 0 |
| Butler Hates Agatha | 1 |
| Agatha Hates Agatha | 1 |
| Charles Richer Than Agatha | 1 |
| Number of People Butler Hates | 2 |
| Name | Value |
|---|---|
| CHARLES KILLED AGATHA | 0 |
| AGATHA KILLED AGATHA | 1 |
| Number of People Charles Hates | 1 |
| Charles Hates Charles | 0 |
| Butler Richer Than Butler | 0 |
| BUTLER KILLED AGATHA | 0 |
| Agatha Richer Than Agatha | 0 |
| Number of People Agatha Hates | 2 |
| Agatha Hates Butler | 0 |
| Agatha Hates Charles | 1 |
| Charles Richer Than Butler | 1 |
| Butler Richer Than Charles | 0 |
| Butler Hates Butler | 0 |
| Charles Hates Butler | 1 |
| Number of Killers | 1 |
| Butler Hates Charles | 1 |
| Butler Richer Than Agatha | 1 |
| Agatha Richer Than Butler | 0 |
| Charles Richer Than Charles | 0 |
| Agatha Richer Than Charles | 1 |
| Charles Hates Agatha | 0 |
| Butler Hates Agatha | 1 |
| Agatha Hates Agatha | 1 |
| Charles Richer Than Agatha | 0 |
| Number of People Butler Hates | 2 |
| Name | Value |
|---|---|
| CHARLES KILLED AGATHA | 0 |
| AGATHA KILLED AGATHA | 1 |
| Number of People Charles Hates | 1 |
| Charles Hates Charles | 0 |
| Butler Richer Than Butler | 0 |
| BUTLER KILLED AGATHA | 0 |
| Agatha Richer Than Agatha | 0 |
| Number of People Agatha Hates | 2 |
| Agatha Hates Butler | 0 |
| Agatha Hates Charles | 1 |
| Charles Richer Than Butler | 0 |
| Butler Richer Than Charles | 1 |
| Butler Hates Butler | 0 |
| Charles Hates Butler | 1 |
| Number of Killers | 1 |
| Butler Hates Charles | 1 |
| Butler Richer Than Agatha | 1 |
| Agatha Richer Than Butler | 0 |
| Charles Richer Than Charles | 0 |
| Agatha Richer Than Charles | 1 |
| Charles Hates Agatha | 0 |
| Butler Hates Agatha | 1 |
| Agatha Hates Agatha | 1 |
| Charles Richer Than Agatha | 0 |
| Number of People Butler Hates | 2 |