Gary is cold. Gary is green. Gary is nice. Gary is round. Gary is smart. Gary is white. Gary is young. All white, nice people are green. If someone is white then they are round. Smart, young people are round. If Gary is young then Gary is smart. All cold, round people are nice. If Gary is smart and Gary is round then Gary is young. If someone is nice then they are round. All white people are green.
Gary is not smart.