Dave is big. Dave is not cold. Dave is kind. Dave is red. Dave is round. Dave is smart. Dave is white. If Dave is red and Dave is not smart then Dave is kind. All kind, round things are white.
Dave is not red.