Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is not young. If something is kind and not young then it is cold.
Harry is not rough.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2 OR ((triple4 triple7) -> rule1))] Harry is green.[(triple3)] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is not young.[(triple7)] Harry is rough.[(triple6)]