Anne is not rough. Bob is blue. Erin is not rough. Gary is green. If something is not white then it is red. If Erin is white then Erin is blue. If Bob is white and Bob is smart then Bob is not rough. If something is white and not rough then it is green. All red things are blue. If something is not red then it is blue.
Erin is white.