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