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