Suppose Mount Everest is the highest mountain in the world, located in the Himalayas. It has been summited by thousands of climbers since the first successful ascent in 1953.
Can we infer that "Mount Everest is the smallest mountain in the world."?