Premise: Then show it to me.
Hypothesis: Then prove it to me.
Is the hypothesis entailed by the premise?
it is not possible to tell