there exists something such that if it shrives it is datable.
sent1: the pennoncel achieves if it does sniff stoning. sent2: if the pennoncel does shrive then it is datable.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if it shrives it is datable. ; $context$ = sent1: the pennoncel achieves if it does sniff stoning. sent2: if the pennoncel does shrive then it is datable. ; $proof$ = 
sent2 -> hypothesis; __PROVED__