Anne is red. Dave is smart. Erin is round. Gary is smart. If something is smart and red then it is not round. If something is furry and not red then it is green. If something is not green then it is smart.
Erin is round.