Anne is cold. Anne is green. Anne is nice. Anne is rough. Anne is smart. Anne is white. Anne is young. Dave is green. Dave is nice. Dave is rough. Dave is smart. Dave is white. Dave is young. Harry is cold. Harry is rough. Harry is smart. If Dave is white and Dave is cold then Dave is nice. All smart people are rough.
Dave is not cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4 OR ((triple5) -> rule2))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Dave is rough.[(triple10 OR ((triple11) -> rule2))] Dave is smart.[(triple11)] Dave is white.[(triple12)] Dave is young.[(triple13)] Harry is cold.[(triple14)] Harry is rough.[(triple15 OR ((triple16) -> rule2))] Harry is smart.[(triple16)]