Input: Sentence 1: He may be seen leaving the room ”he may be searched.  Sentence 2: He did not leave the room.
Output: 

 yes