Dave is blue. Dave is not cold. Dave is green. Dave is rough. Dave is round. Dave is smart. Dave is white. All cold people are rough. Round people are blue. If Dave is rough and Dave is cold then Dave is white. Cold, white people are rough. If someone is not blue then they are cold. If someone is green and not cold then they are round.
Dave is not green.