Erin is kind. Erin is smart. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is white. If Erin is quiet and Erin is kind then Erin is furry. White, quiet things are furry. If something is smart and not cold then it is not green.
Harry is quiet.
@0: Erin is kind.[(triple1)] Erin is smart.[(triple2)] Harry is furry.[(triple3 OR ((triple7 triple6) -> rule2))] Harry is green.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is white.[(triple7)]