Premise: Impossible.

Hypothesis: Not possible.
Relation: entailment