Dave is cold. Dave is white. Harry is smart. If something is cold then it is white. All smart things are quiet. Cold, quiet things are white. Quiet things are rough. If something is not quiet then it is rough. If something is white and not rough then it is smart.
Harry is not white.