Anne is not smart. Dave is not young. Erin is green. Fiona is cold. Rough things are big. All big, young things are nice. If Dave is smart then Dave is green. If Anne is cold then Anne is smart. If something is rough and not young then it is not smart. If something is not big and not green then it is not young. If something is rough and not green then it is smart. If something is not green and not smart then it is nice.
Anne is not young.