Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is white. If someone is white and not kind then they are big. If Harry is big then Harry is rough. If Harry is big and Harry is not quiet then Harry is furry. If someone is rough and not white then they are cold. If someone is furry and not big then they are not rough. All big people are rough. All quiet people are furry. If someone is rough and not quiet then they are furry.
Harry is kind.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is furry.[(triple3 OR ((triple5) -> rule7))] Harry is kind.[(triple4)] Harry is quiet.[(triple5)] Harry is rough.[(triple6 OR ((triple1) -> rule2) OR ((triple1) -> rule6))] Harry is white.[(triple7)]