Premise: Anyway, he can't have 'lost the trail'

Hypothesis: It's perfectly logical that he lost the trail.
Relation: contradiction