Dave is big. If something is red and big then it is smart. If something is big and red then it is nice. If Dave is smart and Dave is big then Dave is nice. All green, white things are cold. If something is cold then it is smart. If something is big then it is nice. Nice, big things are smart. All white things are smart.
Dave is not cold.