Anne is furry. Anne is nice. Anne is rough. Anne is white. Charlie is blue. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Dave is green. Dave is rough. Dave is white. All rough, blue people are furry. All white people are red.
Anne is not red.