Anne is furry. Bob is smart. Dave is big. Fiona is not kind. If Anne is nice and Anne is red then Anne is big. All big people are furry. Smart people are not red. All kind, big people are not smart. Big people are furry. Furry people are smart.
Anne is not furry.