Dave is kind. Dave is quiet. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is quiet. If someone is kind then they are blue. If Dave is blue then Dave is red. If someone is quiet then they are white. If Erin is green and Erin is quiet then Erin is red. If Dave is red and Dave is kind then Dave is quiet. All blue people are quiet. If Erin is white then Erin is quiet. If Dave is white and Dave is red then Dave is green.
Erin is quiet.
@0: Dave is kind.[(triple1)] Dave is quiet.[(triple2 OR ((((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1)) -> rule2) triple1) -> rule5))] Erin is blue.[(triple3 OR ((triple6) -> rule1))] Erin is cold.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is quiet.[(triple7 OR ((triple3) -> rule6) OR ((((triple6) -> rule1)) -> rule6))] @1: Dave is blue.[(((triple1) -> rule1))] Dave is white.[(((triple2) -> rule3) OR ((((((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((((triple1) -> rule1)) -> rule2) triple1) -> rule5)) -> rule3))] Erin is red.[(((triple5 triple7) -> rule4) OR ((triple5 ((triple3) -> rule6)) -> rule4) OR ((triple5 ((((triple6) -> rule1)) -> rule6)) -> rule4))] Erin is white.[(((triple7) -> rule3) OR ((((triple3) -> rule6)) -> rule3) OR ((((((triple6) -> rule1)) -> rule6)) -> rule3))] @2: Dave is red.[(((((triple1) -> rule1)) -> rule2))] @3: Dave is green.[(((((triple2) -> rule3) ((((triple1) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule3) ((((triple1) -> rule1)) -> rule2)) -> rule8) OR ((((((((((triple1) -> rule1)) -> rule2) triple1) -> rule5)) -> rule3) ((((triple1) -> rule1)) -> rule2)) -> rule8))]