Premise: Impossible.

Hypothesis: Cannot be done.
Relation: entailment