Suppose Mount Everest is the highest mountain in the world, located in the Himalayas on the Nepal-Tibet border. The first recorded ascent of Mount Everest was in 1953 by Sir Edmund Hillary and Tenzing Norgay.
Can we infer that "Mount Everest is located in Antarctica."? Yes, no, or maybe?