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