Dave is big. All young people are red. All nice, white people are not red. If someone is red then they are cold. Cold, big people are blue. If Dave is not white then Dave is young. If someone is not young then they are blue. If someone is white and not young then they are not cold. If someone is cold and not blue then they are nice.
Dave is not big.