But, by the time I had reached the top of the stairs, he was out of sight. 
He was still standing upstairs by the time I got there.
mnli hypothesis: He was still standing upstairs by the time I got there. premise: But, by the time I had reached the top of the stairs, he was out of sight. 