Anne is rough. Dave is blue. Erin is green. Gary is not smart. If something is not young then it is rough. If something is not smart then it is blue. If Erin is smart and Erin is red then Erin is rough. If something is rough then it is not young. All red, young things are blue. If something is smart and not blue then it is green.
Anne is not rough.