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