Anne is quiet. Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is smart. Erin is big. Erin is green. Erin is red. Gary is furry. Gary is green. All big people are smart. If Dave is smart and Dave is green then Dave is quiet. If someone is green then they are big. All quiet people are red. Green, red people are blue. Smart people are quiet. If Anne is furry and Anne is smart then Anne is green.
Anne is not red.