Premise: Where's the key?

Hypothesis: The keys are not needed.
Relation: contradiction