Harry is big. Harry is furry. Harry is kind. Harry is nice. Harry is not quiet. Harry is rough. Harry is not white. Nice people are rough. White people are rough. If someone is quiet then they are rough. If Harry is white and Harry is rough then Harry is big. If someone is white then they are big. Furry, nice people are kind.
Harry is big.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3 OR ((triple2 triple4) -> rule6))] Harry is nice.[(triple4)] Harry is not quiet.[(triple5)] Harry is not white.[(triple7)] Harry is rough.[(triple6 OR ((triple4) -> rule1))]