Erin is green. Erin is kind. Harry is kind. All kind things are green. If Harry is nice then Harry is kind. Furry things are smart. If something is kind and green then it is quiet. Smart, blue things are quiet. All kind, green things are furry. Blue, nice things are furry. If Erin is blue and Erin is not green then Erin is not quiet.
Erin is blue.
@0: Erin is green.[(triple1 OR ((triple2) -> rule1))] Erin is kind.[(triple2)] Harry is kind.[(triple3)] @1: Erin is furry.[(((triple2 triple1) -> rule6) OR ((triple2 ((triple2) -> rule1)) -> rule6))] Erin is quiet.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule1)) -> rule4))] Harry is green.[(((triple3) -> rule1))] @2: Erin is smart.[(((((triple2 triple1) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule1)) -> rule6)) -> rule3))] Harry is furry.[(((triple3 ((triple3) -> rule1)) -> rule6))] Harry is quiet.[(((triple3 ((triple3) -> rule1)) -> rule4))] @3: Harry is smart.[(((((triple3 ((triple3) -> rule1)) -> rule6)) -> rule3))]