Suppose SpaceX successfully launches a crewed mission to Mars, marking a major milestone in space exploration. The mission is part of Elon Musk's ambitious plan to establish a human colony on the red planet within the next decade. The success of this mission could pave the way for future Mars missions and ultimately enable interplanetary travel.
Can we infer that "SpaceX has never launched a mission to Mars before."? Yes, no, or maybe?