Premise: Thorn turned and left.

Hypothesis: Thorn turned and stayed.
Relation: contradiction