Suppose Elon Musk is an entrepreneur and business magnate. He is the founder, CEO, and lead designer of SpaceX; early investor, CEO, and product architect of Tesla, Inc.; founder of The Boring Company; co-founder of Neuralink; and co-founder and initial co-chairman of OpenAI. Musk was born on June 28, 1971, in Pretoria, South Africa, and moved to the United States in the 1990s.
Can we infer that "Musk's first company was SpaceX"? Yes, no, or maybe?