Input: Sentence 1: Anyway, he can't have 'lost the trail'   Sentence 2: It's perfectly logical that he lost the trail.
Output: 

 yes