Suppose Elon Musk is an entrepreneur and business magnate from South Africa. He is the founder, CEO, and lead designer of SpaceX; co-founder, 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.
Can we infer that "Elon Musk has never founded a company before SpaceX"?