Anne is green. Anne is not smart. Charlie is big. Charlie is cold. Charlie is rough. Charlie is smart. Gary is cold. If someone is smart then they are green. If someone is rough and big then they are cold. All smart, kind people are rough. If Gary is cold then Gary is rough. Rough people are green. If Anne is not green then Anne is rough.
Anne is smart.