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