Anne is red. Bob is young. Dave is rough. Erin is red. If something is nice and young then it is green. If something is blue and not red then it is smart. If Anne is green and Anne is not rough then Anne is nice.
Dave is red.