Premise: Sure enough, about nine o'clock, so he did.

Hypothesis: He did, but not until eleven o'clock
Relation: contradiction