Anne is big. Anne is smart. Dave is round. Dave is smart. Gary is big. Gary is furry. Gary is green. Rough, round people are green. Big, red people are furry. All furry people are red. If Anne is green and Anne is smart then Anne is red. Green, smart people are red. If someone is round then they are smart. If Dave is big then Dave is smart. All rough, big people are furry.
Anne is not furry.