Premise: be able to be enforced

Hypothesis: Unable to be executed.
Relation: contradiction