Anne is blue. Anne is furry. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is red. Harry is kind. Harry is red. Harry is smart. All kind people are furry. All kind people are smart. Smart, red people are blue. All kind, blue people are cold. All smart people are nice. All cold people are smart.
Erin is not red.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Erin is blue.[(triple3 OR ((((triple4) -> rule6) triple7) -> rule3) OR ((((triple6) -> rule2) triple7) -> rule3))] Erin is cold.[(triple4 OR ((triple6 triple3) -> rule4) OR ((triple6 ((((triple6) -> rule2) triple7) -> rule3)) -> rule4))] Erin is furry.[(triple5 OR ((triple6) -> rule1))] Erin is kind.[(triple6)] Erin is red.[(triple7)] Harry is kind.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10 OR ((triple8) -> rule2))] @1: Erin is smart.[(((triple4) -> rule6) OR ((triple6) -> rule2) OR ((((triple6 triple3) -> rule4)) -> rule6))] Harry is blue.[(((triple10 triple9) -> rule3) OR ((((triple8) -> rule2) triple9) -> rule3))] Harry is furry.[(((triple8) -> rule1))] Harry is nice.[(((triple10) -> rule5) OR ((((triple8) -> rule2)) -> rule5))] @2: Erin is nice.[(((((triple4) -> rule6)) -> rule5) OR ((((triple6) -> rule2)) -> rule5) OR ((((((triple6 triple3) -> rule4)) -> rule6)) -> rule5))] Harry is cold.[(((triple8 ((triple10 triple9) -> rule3)) -> rule4) OR ((triple8 ((((triple8) -> rule2) triple9) -> rule3)) -> rule4))]