there exists something such that if it is not an archangel it does not spiral Uca.
sent1: if the inglenook is not bigger it is not an archangel. sent2: there is something such that if it is not a kind of an archangel it spirals Uca. sent3: the marrow does not spiral Uca if it is not granulomatous. sent4: if the baldhead is a kind of an archangel it does not spiral Uca. sent5: if the baldhead is not an archangel then it spirals Uca. sent6: there is something such that if it is not granulomatous then it does not slag baldhead. sent7: if the baldhead does not spiral Uca then it does not direct. sent8: the baldhead does not spiral Uca if it is not an archangel. sent9: there exists something such that if it is a kind of an archangel then it does not spiral Uca.
sent8 -> hypothesis;
$hypothesis$ = there exists something such that if it is not an archangel it does not spiral Uca. ; $context$ = sent1: if the inglenook is not bigger it is not an archangel. sent2: there is something such that if it is not a kind of an archangel it spirals Uca. sent3: the marrow does not spiral Uca if it is not granulomatous. sent4: if the baldhead is a kind of an archangel it does not spiral Uca. sent5: if the baldhead is not an archangel then it spirals Uca. sent6: there is something such that if it is not granulomatous then it does not slag baldhead. sent7: if the baldhead does not spiral Uca then it does not direct. sent8: the baldhead does not spiral Uca if it is not an archangel. sent9: there exists something such that if it is a kind of an archangel then it does not spiral Uca. ; $proof$ = 
sent8 -> hypothesis; __PROVED__