Dave is big. Dave is cold. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. If Dave is cold then Dave is smart. If Dave is round then Dave is red. Smart, cold things are red. If something is red and cold then it is smart. Big, red things are round. All white things are big. If something is white then it is cold. Smart things are big.
Dave is not round.