Premise: Adrin left.

Hypothesis: Adrin stayed.
Relation: contradiction