Premise: Adrin still slept.

Hypothesis: Adrin awoke.
Relation: contradiction