Premise: It can't be proved.

Hypothesis: It can not be proved to be true.
Relation: entailment