Anne is big. Anne is not green. Anne is kind. Anne is smart. Charlie is not white. Erin is not green. Erin is not nice. Harry is furry. Harry is nice. Harry is white. All white things are not smart. If Erin is white and Erin is furry then Erin is nice. If something is furry and kind then it is green. If something is kind and not nice then it is not big. If Harry is kind and Harry is nice then Harry is furry. If Harry is green and Harry is not smart then Harry is furry.
Erin is kind.
@0: Anne is big.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is smart.[(triple4)] Charlie is not white.[(triple5)] Erin is not green.[(triple6)] Erin is not nice.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)] @1: Harry is not smart.[(((triple10) -> rule1))]