Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. All rough, nice things are green.
Harry is not rough.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is green.[(triple3 OR ((triple6 triple4) -> rule1))] Harry is nice.[(triple4)] Harry is quiet.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7)]