Anne is round. Anne is white. Anne is young. Bob is white. Bob is young. Dave is furry. Gary is red. All furry people are young. All white people are green. If someone is furry then they are white.
Dave is not green.