Text: It can't be proved.
Entailment: It can not be proved to be true.
Contradiction: It can be proved with just a few hours of work.