Anne is furry. Charlie is blue. Charlie is smart. Dave is not blue. Dave is green. Erin is not blue. Erin is red. If something is smart and not blue then it is not cold. If something is furry then it is kind. Blue, smart things are kind. All kind things are smart. If something is blue then it is furry. All red things are furry. Red things are furry. Blue, kind things are red. If something is furry and not cold then it is green.
Erin is not green.
@0: Anne is furry.[(triple1)] Charlie is blue.[(triple2)] Charlie is smart.[(triple3 OR ((((((triple2) -> rule5)) -> rule2)) -> rule4))] Dave is green.[(triple5)] Dave is not blue.[(triple4)] Erin is not blue.[(triple6)] Erin is red.[(triple7)] @1: Anne is kind.[(((triple1) -> rule2))] Charlie is furry.[(((triple2) -> rule5) OR ((((triple2 ((triple2 triple3) -> rule3)) -> rule8)) -> rule6) OR ((((triple2 ((triple2 triple3) -> rule3)) -> rule8)) -> rule7))] Charlie is kind.[(((triple2 triple3) -> rule3) OR ((((triple2) -> rule5)) -> rule2))] Erin is furry.[(((triple7) -> rule6) OR ((triple7) -> rule7))] @2: Anne is smart.[(((((triple1) -> rule2)) -> rule4))] Charlie is red.[(((triple2 ((triple2 triple3) -> rule3)) -> rule8) OR ((triple2 ((((triple2) -> rule5)) -> rule2)) -> rule8))] Erin is kind.[(((((triple7) -> rule6)) -> rule2) OR ((((triple7) -> rule7)) -> rule2))] @3: Erin is smart.[(((((((triple7) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule7)) -> rule2)) -> rule4))] @4: Erin is not cold.[(((((((((triple7) -> rule6)) -> rule2)) -> rule4) triple6) -> rule1) OR ((((((((triple7) -> rule7)) -> rule2)) -> rule4) triple6) -> rule1))] @5: Erin is green.[(((((triple7) -> rule6) ((((((((triple7) -> rule6)) -> rule2)) -> rule4) triple6) -> rule1)) -> rule9) OR ((((triple7) -> rule6) ((((((((triple7) -> rule7)) -> rule2)) -> rule4) triple6) -> rule1)) -> rule9) OR ((((triple7) -> rule7) ((((((((triple7) -> rule6)) -> rule2)) -> rule4) triple6) -> rule1)) -> rule9) OR ((((triple7) -> rule7) ((((((((triple7) -> rule7)) -> rule2)) -> rule4) triple6) -> rule1)) -> rule9))]