Suppose Ferdinand Magellan (1480-1521) was a Portuguese explorer who led the first expedition to circumnavigate the globe. Although he died during the voyage, his crew completed the journey and proved that the Earth was round.
Can we infer that "Ferdinand Magellan did not complete the first circumnavigation of the globe."? Yes, no, or maybe?