Premise: Let the hall be cleared.

Hypothesis: Clutter the hall.
Relation: contradiction