there exists something such that if it is not a warrior then either it is not superior or it does dub Blitzstein or both.
sent1: there is something such that if the fact that it is not a kind of a warrior hold it is a kind of a superior and/or dubs Blitzstein. sent2: there exists something such that if it is a warrior it is not superior or does dub Blitzstein or both. sent3: if something does not trundle hookworm then it does not deposit 10000 or it is an excess or both. sent4: the hookworm is not a superior and/or it does dub Blitzstein if it is not a warrior.
sent4 -> hypothesis;
there is something such that if it does not trundle hookworm it does not deposit 10000 and/or is a kind of an excess.
sent3 -> int1: if the cabinetmaker does not trundle hookworm the fact that it does not deposit 10000 and/or it is an excess is right.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a warrior then either it is not superior or it does dub Blitzstein or both. ; $context$ = sent1: there is something such that if the fact that it is not a kind of a warrior hold it is a kind of a superior and/or dubs Blitzstein. sent2: there exists something such that if it is a warrior it is not superior or does dub Blitzstein or both. sent3: if something does not trundle hookworm then it does not deposit 10000 or it is an excess or both. sent4: the hookworm is not a superior and/or it does dub Blitzstein if it is not a warrior. ; $proof$ = 
sent4 -> hypothesis; __PROVED__