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