Anne is not big. Anne is not blue. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is round. Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is round. Blue, big people are round. If Erin is big and Erin is nice then Erin is not green. All nice people are green. If someone is big and blue then they are green. If Anne is green then Anne is quiet. If someone is big and round then they are cold. If Anne is not green then Anne is round. If Anne is not big and Anne is not round then Anne is blue.
Erin is not green.