Suppose Astronaut Neil Armstrong became the first person to walk on the moon during the Apollo 11 mission on July 20, 1969. The historic moon landing was televised and watched by millions of people around the world.
Can we infer that "Neil Armstrong walked on Mars before walking on the moon."? Yes, no, or maybe?