Premise: He may be seen leaving the room ”he may be searched.

Hypothesis: He did not leave the room.
Relation: contradiction