Suppose Elon Musk has announced plans to colonize Mars within the next decade, with the first manned mission scheduled for 2024.
Can we infer that "Mars will be fully colonized by humans by the year 2030"?