Suppose Mount Everest, the highest mountain in the world, is located in the Himalayas on the border between Nepal and China. It was first successfully climbed to the summit in 1953 by Sir Edmund Hillary and Tenzing Norgay.
Can we infer that "Mount Everest is the second highest mountain in the world."? Yes, no, or maybe?