Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is not quiet. Harry is red. Harry is round. If Harry is green and Harry is kind then Harry is nice. If something is round and not green then it is nice.
Harry is quiet.
@0: Harry is furry.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4 OR ((triple2 triple3) -> rule1))] Harry is not quiet.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)]