Premise: That is not going to be proven true.

Hypothesis: There is no way you can prove that.
Relation: entailment