there exists something such that if either it is not a polytechnic or it does not shoo finiteness or both then that it is not a kind of a complex hold.
sent1: the essayist is not a complex if either it is not a polytechnic or it does not shoo finiteness or both.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if either it is not a polytechnic or it does not shoo finiteness or both then that it is not a kind of a complex hold. ; $context$ = sent1: the essayist is not a complex if either it is not a polytechnic or it does not shoo finiteness or both. ; $proof$ = 
sent1 -> hypothesis; __PROVED__