Anne is big. Anne is furry. Anne is rough. Anne is white. Charlie is cold. Charlie is green. Charlie is white. Erin is big. Erin is cold. Harry is furry. Harry is rough. If someone is smart then they are white. If someone is green and white then they are big. If Erin is rough then Erin is smart. If Harry is cold and Harry is not smart then Harry is rough. Rough people are cold. If someone is cold then they are furry. All furry people are rough. All white people are green.
Erin is smart.