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