Anne is blue. Anne is cold. Anne is furry. Anne is green. Dave is blue. Dave is cold. Dave is furry. Dave is green. Erin is kind. Erin is red. Harry is blue. Harry is furry. All cold things are blue. If Dave is cold then Dave is red. If Erin is green then Erin is blue. If something is red then it is cold. If Dave is furry and Dave is red then Dave is blue. If something is kind and cold then it is furry. If something is furry and kind then it is smart. Red things are kind.
Erin is not furry.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Dave is blue.[(triple5 OR ((triple6) -> rule1) OR ((triple7 ((triple6) -> rule2)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule8) triple6) -> rule6) ((triple6) -> rule2)) -> rule5))] Dave is cold.[(triple6)] Dave is furry.[(triple7 OR ((((((triple6) -> rule2)) -> rule8) triple6) -> rule6))] Dave is green.[(triple8)] Erin is kind.[(triple9 OR ((triple10) -> rule8))] Erin is red.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] @1: Dave is red.[(((triple6) -> rule2))] Erin is cold.[(((triple10) -> rule4))] @2: Dave is kind.[(((((triple6) -> rule2)) -> rule8))] Erin is blue.[(((((triple10) -> rule4)) -> rule1))] Erin is furry.[(((triple9 ((triple10) -> rule4)) -> rule6) OR ((((triple10) -> rule8) ((triple10) -> rule4)) -> rule6))] @3: Dave is smart.[(((triple7 ((((triple6) -> rule2)) -> rule8)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) triple6) -> rule6) ((((triple6) -> rule2)) -> rule8)) -> rule7))] Erin is smart.[(((((triple9 ((triple10) -> rule4)) -> rule6) triple9) -> rule7) OR ((((triple9 ((triple10) -> rule4)) -> rule6) ((triple10) -> rule8)) -> rule7) OR ((((((triple10) -> rule8) ((triple10) -> rule4)) -> rule6) triple9) -> rule7) OR ((((((triple10) -> rule8) ((triple10) -> rule4)) -> rule6) ((triple10) -> rule8)) -> rule7))]