Text: Sure enough, about nine o'clock, so he did.
Entailment: Just as expected, he did around nine o'clock
Contradiction: He did, but not until eleven o'clock