Anne is blue. Anne is green. Anne is nice. Anne is rough. Anne is white. Dave is not blue. Dave is not nice. Dave is rough. Erin is blue. Erin is quiet. If Erin is red then Erin is rough. Quiet things are red. If something is red then it is rough. If Dave is rough then Dave is not nice. All green, white things are red. If Erin is blue and Erin is white then Erin is not green. If something is white and quiet then it is not blue. If something is rough and not red then it is green.
Dave is quiet.