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