He hurries to the despatchcase ”it is locked, and the keys are nowhere to be seen. 
It is open, let us get in.
mnli hypothesis: It is open, let us get in. premise: He hurries to the despatchcase ”it is locked, and the keys are nowhere to be seen. 