Charlie is blue. Charlie is green. Charlie is rough. Charlie is white. Dave is blue. Dave is green. Dave is round. If Charlie is furry and Charlie is nice then Charlie is green. If Charlie is blue and Charlie is furry then Charlie is green.
Dave is not green.