Premise: you know they can't

Hypothesis: They can't.
Relation: entailment