Bob is red. Dave is big. Dave is smart. If something is red then it is white. If something is cold then it is quiet. All smart things are big. If something is quiet then it is smart. If something is white then it is cold. All white things are cold.
Dave is not big.