Anne is smart. Charlie is rough. Erin is nice. If something is green and not rough then it is not red. If something is not smart then it is green. If something is not green and not big then it is nice.
Anne is not green.