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 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)]