Dave is blue. Dave is white. Erin is blue. Erin is not green. Erin is nice. Erin is smart. Gary is white. If Erin is smart then Erin is white. If something is not green then it is white.
Dave is not blue.