Anne is blue. Anne is green. Anne is red. Anne is rough. Erin is blue. Erin is not furry. Erin is green. Erin is not quiet. Erin is not rough. Erin is smart. If someone is not quiet then they are green. All smart people are blue. If someone is blue and smart then they are green. Quiet people are red. Furry, red people are smart. If someone is not furry then they are not quiet. All red, rough people are smart. If someone is red and not furry then they are smart.
Anne is smart.