Bob is cold. Bob is quiet. Bob is smart. Dave is big. Dave is quiet. Dave is rough. Dave is smart. All big, red people are white. All smart people are cold. Rough, big people are cold.
Dave is not white.