Suppose The Great Lakes are a series of interconnected freshwater lakes located in North America, consisting of Superior, Michigan, Huron, Erie, and Ontario. They are the largest group of freshwater lakes by total area and are a vital natural resource for the region.
Can we infer that "Lake Superior is the smallest of the Great Lakes."? Yes, no, or maybe?