Premise: Step inside the lift.

Hypothesis: Get out of the lift!
Relation: contradiction