Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is smart. Gary is white. All big things are blue. Nice, kind things are smart. White things are cold. If Gary is smart then Gary is big. If Gary is nice then Gary is cold. If something is kind and big then it is blue. If something is big then it is cold. If Gary is cold then Gary is smart.
Gary is smart.