Input: Sentence 1: It was highly possible that it might prove to be Whittington. Sentence 2: There is no way that it could be Whittington.
Output: 

 yes