Premise: The key was in the lock.

Hypothesis: The key to the lock was nowhere to be found.
Relation: contradiction