Text: He may be seen leaving the room ”he may be searched.
Entailment: He left the room.
Contradiction: He did not leave the room.