Premise: If not here, then where?

Hypothesis: If not in this location, then in what other location.
Relation: entailment