Anne is blue. Anne is cold. Anne is rough. If Anne is nice and Anne is cold then Anne is not white. If someone is smart then they are blue. All white people are green. If someone is rough and not cold then they are nice. If someone is blue then they are smart. If someone is green and not nice then they are smart. If Anne is smart and Anne is not nice then Anne is white. If Anne is not blue and Anne is not cold then Anne is not white.
Anne is smart.