Charlie is furry. Charlie is green. Dave is white. If something is blue and not white then it is rough. If Dave is kind and Dave is not blue then Dave is not quiet. All blue, white things are green. If something is white and not quiet then it is rough. If something is kind and not blue then it is not furry. If something is not green then it is furry.
Charlie is not green.