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