Anne is green. Dave is smart. Erin is quiet. Gary is green. Kind, green people are not quiet. If Dave is green then Dave is furry. All furry people are blue. Blue, smart people are green. All big people are furry. If someone is not big then they are furry.
Anne is smart.