Gary is cold. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is white. Gary is young. All white things are young. All nice, kind things are smart. Cold things are kind. If something is white then it is smart. If Gary is nice and Gary is young then Gary is smart. All young, white things are smart.
Gary is smart.