Suppose Elon Musk is a billionaire entrepreneur known for founding companies such as SpaceX and Tesla. He is also the CEO of The Boring Company and Neuralink, with ambitious goals of colonizing Mars and advancing artificial intelligence.
Can we infer that "Elon Musk is a professional athlete"? Yes, no, or maybe?