Dave is cold. If something is not cold then it is big. If something is young and furry then it is blue. Red, young things are blue. If Dave is cold then Dave is red. If something is not blue then it is not round. If something is big and not blue then it is red.
Dave is not big.