Premise: John, who had gone into the house, now reappeared.

Hypothesis: John had still not returned.
Relation: contradiction