Anne is blue. Anne is green. Anne is quiet. Anne is white. Dave is cold. Dave is green. Dave is kind. Dave is quiet. Dave is white. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is white. All green, red people are kind. All quiet people are red. Red people are quiet. If someone is blue then they are white. All red, cold people are green. White, green people are blue. All quiet, white people are kind. If someone is red and blue then they are cold.
Anne is not cold.
@0: Anne is blue.[(triple1 OR ((triple4 triple2) -> rule6))] Anne is green.[(triple2 OR ((((triple3) -> rule2) ((((triple3) -> rule2) triple1) -> rule8)) -> rule5))] Anne is quiet.[(triple3)] Anne is white.[(triple4 OR ((triple1) -> rule4))] Dave is cold.[(triple5 OR ((((triple8) -> rule2) ((triple9 triple6) -> rule6)) -> rule8))] Dave is green.[(triple6 OR ((((triple8) -> rule2) triple5) -> rule5))] Dave is kind.[(triple7 OR ((triple8 triple9) -> rule7) OR ((triple6 ((triple8) -> rule2)) -> rule1) OR ((((((triple8) -> rule2) triple5) -> rule5) ((triple8) -> rule2)) -> rule1))] Dave is quiet.[(triple8)] Dave is white.[(triple9)] Erin is cold.[(triple10 OR ((triple14 ((triple15 triple11) -> rule6)) -> rule8) OR ((((triple13) -> rule2) ((triple15 triple11) -> rule6)) -> rule8))] Erin is green.[(triple11 OR ((triple14 triple10) -> rule5) OR ((((triple13) -> rule2) triple10) -> rule5))] Erin is kind.[(triple12 OR ((triple11 triple14) -> rule1) OR ((triple13 triple15) -> rule7) OR ((triple11 ((triple13) -> rule2)) -> rule1) OR ((((triple14) -> rule3) triple15) -> rule7) OR ((((triple14 triple10) -> rule5) triple14) -> rule1) OR ((((triple14 triple10) -> rule5) ((triple13) -> rule2)) -> rule1) OR ((((((triple13) -> rule2) triple10) -> rule5) triple14) -> rule1) OR ((((((triple13) -> rule2) triple10) -> rule5) ((triple13) -> rule2)) -> rule1))] Erin is quiet.[(triple13 OR ((triple14) -> rule3))] Erin is red.[(triple14 OR ((triple13) -> rule2))] Erin is white.[(triple15)] @1: Anne is kind.[(((triple3 triple4) -> rule7) OR ((triple2 ((triple3) -> rule2)) -> rule1) OR ((triple3 ((triple1) -> rule4)) -> rule7) OR ((((((triple3) -> rule2) ((((triple3) -> rule2) triple1) -> rule8)) -> rule5) ((triple3) -> rule2)) -> rule1))] Anne is red.[(((triple3) -> rule2))] Dave is blue.[(((triple9 triple6) -> rule6) OR ((triple9 ((((triple8) -> rule2) triple5) -> rule5)) -> rule6))] Dave is red.[(((triple8) -> rule2))] Erin is blue.[(((triple15 triple11) -> rule6) OR ((triple15 ((triple14 triple10) -> rule5)) -> rule6) OR ((triple15 ((((triple13) -> rule2) triple10) -> rule5)) -> rule6))] @2: Anne is cold.[(((((triple3) -> rule2) triple1) -> rule8) OR ((((triple3) -> rule2) ((triple4 triple2) -> rule6)) -> rule8))]