Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is not red. Harry is round. Big people are kind. If someone is round and not kind then they are blue.
Harry is round.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is furry.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5 OR ((triple1) -> rule1))] Harry is not red.[(triple6)] Harry is round.[(triple7)]