Dave is blue. Dave is cold. Dave is nice. Dave is rough. Dave is round. Dave is white. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is white. All white, nice things are rough. If something is cold then it is white. All nice things are cold. If Harry is round then Harry is kind. All cold, rough things are round. If something is nice and white then it is cold.
Dave is not white.