Eventually his body was washed ashore, and identified beyond any possible doubt.
A live person suddenly appeared out of the waves.
mnli hypothesis: A live person suddenly appeared out of the waves. premise: Eventually his body was washed ashore, and identified beyond any possible doubt.