Suppose SpaceX was founded by Elon Musk in 2002 with the goal of reducing space transportation costs and enabling the colonization of Mars. The company has developed the Falcon 1, Falcon 9, and Falcon Heavy rockets, as well as the Dragon spacecraft.
Can we infer that "SpaceX's first rocket was named Falcon Heavy"?