Anne is red. Bob is nice. Erin is red. Gary is red. If something is nice then it is green. All green things are red. Red things are not big. If something is green and nice then it is white. If Erin is big and Erin is white then Erin is red. If Erin is green and Erin is white then Erin is red.
Anne is white.