Suppose Mount Everest is Earth's highest mountain above sea level, located in the Mahalangur Himal sub-range of the Himalayas. The international border between Nepal and China runs across its summit point.
Can we infer that "Mount Everest is not located in the Himalayas"? Yes, no, or maybe?