Premise: At 7:18, Mihdhar and Moqed entered the security checkpoint.

Hypothesis: There was nobody at the security checkpoint at 7:18.
Relation: contradiction