Suppose The Discovery of America by Christopher Columbus is a historic event that took place in 1492. Columbus, financed by the Spanish monarchs, set sail for the New World and reached the islands of the Caribbean.
Can we infer that "Christopher Columbus discovered Australia."? Yes, no, or maybe?