Anne is cold. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Anne is young. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is young. If something is red and smart then it is quiet. If Erin is young then Erin is quiet.
Erin is not red.