Given a premise, retrieve a hypothesis that is entailed by the premise.His search resulted in the discovery of Florida.
Florida was discovered by his search.
He didn't discover anything through his search.