Premise: Busy cafeteria downstairs.

Hypothesis: No one eats at that cafeteria.
Relation: contradiction