Anne is blue. Anne is not green. Anne is nice. Anne is not red. Anne is round. Erin is blue. Erin is green. Erin is round. Gary is not big. Gary is not green. Harry is big. Harry is green. Harry is red. Harry is round. Harry is not smart. All smart, big people are green. All big, smart people are not round.
Erin is blue.