Harry is cold. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is young. Cold people are young.
Harry is not round.
@0: Harry is cold.[(triple1)] Harry is green.[(triple2)] Harry is quiet.[(triple3)] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7 OR ((triple1) -> rule1))]