Charlie is cold. Charlie is not furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is young. Dave is cold. Dave is furry. Dave is quiet. All nice, smart people are green. Quiet, green people are young. If someone is not cold then they are furry. If someone is not cold then they are not nice. If someone is green and not nice then they are not quiet. If someone is not young then they are not nice.
Dave is not green.