Dave is big. Dave is red. Dave is young. Kind things are young. If Dave is white then Dave is big. If something is green then it is white. If something is kind and blue then it is white. If something is young then it is red. If something is white and young then it is red. If Dave is kind then Dave is green. If something is red then it is green.
Dave is not big.