Charlie is blue. Charlie is furry. Charlie is rough. Erin is cold. Erin is green. Harry is blue. Harry is rough. If Erin is blue and Erin is green then Erin is cold. If someone is smart and furry then they are green. If someone is cold then they are smart. Green people are blue. Green, blue people are furry. If someone is blue and cold then they are smart. Rough people are cold. All nice, green people are blue.
Erin is not green.
@0: Charlie is blue.[(triple1 OR ((((((((triple3) -> rule7)) -> rule3) triple2) -> rule2)) -> rule4))] Charlie is furry.[(triple2)] Charlie is rough.[(triple3)] Erin is cold.[(triple4 OR ((((triple5) -> rule4) triple5) -> rule1))] Erin is green.[(triple5)] Harry is blue.[(triple6)] Harry is rough.[(triple7)] @1: Charlie is cold.[(((triple3) -> rule7))] Erin is blue.[(((triple5) -> rule4))] Erin is smart.[(((triple4) -> rule3) OR ((((triple5) -> rule4) triple4) -> rule6) OR ((((((triple5) -> rule4) triple5) -> rule1)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4) triple5) -> rule1)) -> rule6))] Harry is cold.[(((triple7) -> rule7))] @2: Charlie is smart.[(((((triple3) -> rule7)) -> rule3) OR ((triple1 ((triple3) -> rule7)) -> rule6))] Erin is furry.[(((triple5 ((triple5) -> rule4)) -> rule5))] Harry is smart.[(((((triple7) -> rule7)) -> rule3) OR ((triple6 ((triple7) -> rule7)) -> rule6))] @3: Charlie is green.[(((((((triple3) -> rule7)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple3) -> rule7)) -> rule6) triple2) -> rule2))]