Erin is kind. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is smart. If Erin is furry then Erin is big. If Erin is big then Erin is smart. Kind things are green. If something is red and kind then it is big. If Harry is smart and Harry is red then Harry is furry. If Erin is smart and Erin is kind then Erin is nice. Smart things are green. If something is red then it is green.
Erin is not big.
@0: Erin is kind.[(triple1)] Harry is big.[(triple2 OR ((triple6 triple4) -> rule4))] Harry is green.[(triple3 OR ((triple4) -> rule3) OR ((triple6) -> rule8) OR ((triple7) -> rule7))] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is red.[(triple6)] Harry is smart.[(triple7)] @1: Erin is green.[(((triple1) -> rule3))] Harry is furry.[(((triple7 triple6) -> rule5))]