Suppose Mount Everest, located in the Himalayas, is the Earth's highest mountain. It was first successfully climbed by Sir Edmund Hillary and Tenzing Norgay in 1953. Hundreds of climbers attempt to reach its summit each year.
Can we infer that "Mount Everest is the smallest mountain on Earth"? Yes, no, or maybe?