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.
Harry is not smart.