Suppose Mount Everest, located in the Himalayas, is the Earth's highest mountain, with a peak reaching 8,848 meters above sea level.
Can we infer that "K2 is taller than Mount Everest."? Yes, no, or maybe?