Bob is not cold. Bob is green. Bob is rough. Bob is not smart. Bob is white. Bob is young. Harry is white. If Bob is young and Bob is not white then Bob is round. All white people are not cold. If Bob is cold then Bob is young. If Harry is cold then Harry is green. If someone is round and not smart then they are young. All rough, smart people are green.
Harry is smart.
@0: Bob is green.[(triple2)] Bob is not cold.[(triple1 OR ((triple5) -> rule2))] Bob is not smart.[(triple4)] Bob is rough.[(triple3)] Bob is white.[(triple5)] Bob is young.[(triple6)] Harry is white.[(triple7)] @1: Harry is not cold.[(((triple7) -> rule2))]