Anne is blue. Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is round. Anne is smart. Erin is not blue. Erin is furry. Erin is not green. Erin is not red. Erin is rough. Erin is round. Erin is smart. If someone is not red then they are not blue.
Anne is smart.