Anne is nice. Anne is white. Bob is furry. Charlie is kind. Charlie is rough. Charlie is smart. Dave is white. All white, nice people are rough. All white people are blue. All kind, white people are smart. Furry people are nice. If someone is rough then they are blue. All white people are kind. If Dave is white and Dave is smart then Dave is furry.
Anne is not furry.