Anne is furry. Bob is blue. Bob is green. Bob is quiet. Bob is red. Erin is big. Erin is nice. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is red. All nice, quiet people are green. If someone is quiet then they are red. Blue people are furry. Big people are blue. If Erin is green and Erin is big then Erin is quiet. All quiet, big people are red. If Bob is big and Bob is furry then Bob is blue. Furry people are green.
Anne is not red.