Anne is big. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is white. Erin is big. Erin is cold. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is white. If someone is big then they are rough. If someone is smart and white then they are red. Rough, green people are white. If Anne is smart and Anne is red then Anne is rough. If Erin is white then Erin is cold. If someone is white then they are smart. White, green people are smart. If Erin is red and Erin is white then Erin is cold.
Anne is not green.