Dave is not big. Dave is red. Dave is round. If Dave is red and Dave is green then Dave is not kind. If something is green and nice then it is red. If something is not round and not green then it is big. All nice things are not big. If Dave is nice then Dave is big. If something is round and not big then it is not nice.
Dave is green.