Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is quiet. Harry is round. Harry is white. All green, white people are furry. All white people are quiet.
Harry is not quiet.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is furry.[(triple3 OR ((triple4 triple7) -> rule1))] Harry is green.[(triple4)] Harry is quiet.[(triple5 OR ((triple7) -> rule2))] Harry is round.[(triple6)] Harry is white.[(triple7)]