Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is not white. Erin is cold. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is white. If Erin is smart then Erin is rough. All green people are cold. If Anne is red and Anne is cold then Anne is green. If Erin is cold then Erin is white. If someone is green and not furry then they are not smart. Red people are cold. If Erin is furry and Erin is not cold then Erin is rough. If someone is cold and not green then they are white.
Erin is not smart.