Anne is red. Dave is nice. Erin is smart. Harry is nice. If Harry is rough then Harry is cold. Cold, nice people are red. Smart, cold people are not red. If someone is red and green then they are not rough. Smart people are not nice. If someone is not smart then they are red. If someone is rough and not cold then they are quiet. If someone is red and not cold then they are green.
Anne is green.