Premise: But, by the time I had reached the top of the stairs, he was out of sight.

Hypothesis: He was still standing upstairs by the time I got there.
Relation: contradiction