Anne is big. Anne is blue. Anne is not cold. Anne is green. Anne is not nice. Anne is red. Anne is white. Bob is red. Erin is red. Harry is white. All red, nice people are blue. If Harry is blue and Harry is green then Harry is big. Nice people are blue. If someone is red then they are blue. If Bob is not blue then Bob is nice. If someone is big and not blue then they are green. If Bob is not green then Bob is red. If someone is not red then they are big.
Anne is white.