Gary is smart. If someone is not red then they are round. Round people are cold. If someone is smart and green then they are cold. If someone is green then they are not round. All round, cold people are not green. If Gary is red and Gary is not green then Gary is cold. If someone is rough and not round then they are not cold. If someone is rough and not round then they are smart.
Gary is not red.