Suppose Mount Everest is the highest mountain in the world, with a peak at 8,848 meters (29,029 ft) above sea level.
Can we infer that "Mount Everest is not the highest mountain in the world."? Yes, no, or maybe?