Anne is big. Anne is cold. Anne is green. Erin is big. Erin is cold. Erin is white. Fiona is cold. Fiona is green. Fiona is young. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is red. Gary is white. Gary is young. If Fiona is young then Fiona is big. Big, green people are red. If someone is red then they are white.
Anne is not red.