Harry is big. Harry is furry. Harry is not kind. Harry is rough. Harry is round. Harry is smart. Harry is young. If Harry is not smart then Harry is rough. If Harry is not young then Harry is not rough. If something is round and kind then it is big. Kind things are rough. If something is furry then it is rough. If something is big and not furry then it is round.
Harry is not furry.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2)] Harry is not kind.[(triple3)] Harry is rough.[(triple4 OR ((triple2) -> rule5))] Harry is round.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)]