Suppose NASA's Mars Exploration Rover mission was launched in 2003 and involved two rovers, Spirit and Opportunity. Spirit was declared lost in 2010 and Opportunity in 2019. The mission confirmed that there was once water on Mars.
Can we infer that "The Mars Exploration Rover mission was a failure."? Yes, no, or maybe?