Premise: That was the last time Jon saw Thorn alive.
Hypothesis: Jon saw Thorn one more time alive after that day. 
Label: contradiction