Anne is kind. Anne is nice. Bob is green. Bob is rough. Bob is white. Erin is cold. Erin is kind. Erin is rough. Gary is green. Gary is nice. Gary is white. Smart, white people are green. If Anne is green and Anne is nice then Anne is rough. If someone is smart then they are white. All white, kind people are cold. If Gary is nice then Gary is smart. All rough, nice people are cold. If someone is kind then they are white. If someone is cold then they are smart.
Anne is not smart.