Premise: and now they weren't check in

Hypothesis: They're still check in.
Relation: contradiction