Premise: His checked bag was screened for explosives and then loaded on the plane.

Hypothesis: They didn't load his bag on the plane after screening it for explosives.
Relation: contradiction