He knew without question that he was well.
He knew already that he had to have been well.
mnli hypothesis: He knew already that he had to have been well. premise: He knew without question that he was well.