Charlie is big. Charlie is green. Charlie is quiet. Dave is big. Dave is furry. Dave is green. Dave is kind. Big, kind people are white. If Dave is furry then Dave is kind. If someone is cold then they are furry. Cold people are quiet. If someone is green and not cold then they are furry. If Dave is white and Dave is not kind then Dave is quiet. If someone is big and not furry then they are not quiet. If someone is cold and not quiet then they are white.
Dave is not big.