Premise: Several people walk up a staircase.
Hypothesis: The staircase is empty.
Relationship: contradiction