Anne is big. Anne is cold. Anne is not green. Anne is kind. Anne is rough. Anne is not round. Gary is big. Gary is cold. Gary is green. Gary is kind. If someone is kind then they are rough. Smart people are kind. If someone is cold and green then they are kind. If someone is rough and round then they are green. If someone is smart then they are green. Smart, round people are rough.
Gary is not smart.