there exists something such that if it does not outstare blocker then it is filar.
sent1: if the ampulla does outstare blocker it is filar. sent2: the ampulla is filar if it does not outstare blocker. sent3: there exists something such that if it is not a Israel it does piddle isthmus. sent4: there exists something such that if it outstares blocker then it is filar. sent5: something is choreographic if it is not pelvic.
sent2 -> hypothesis;
there exists something such that if it is not pelvic then it is choreographic.
sent5 -> int1: if the review is not pelvic it is choreographic.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not outstare blocker then it is filar. ; $context$ = sent1: if the ampulla does outstare blocker it is filar. sent2: the ampulla is filar if it does not outstare blocker. sent3: there exists something such that if it is not a Israel it does piddle isthmus. sent4: there exists something such that if it outstares blocker then it is filar. sent5: something is choreographic if it is not pelvic. ; $proof$ = 
sent2 -> hypothesis; __PROVED__