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