there exists something such that it does not upload cardiologist.
sent1: if something is not nontechnical then it is not a heterocyclic. sent2: there exists something such that it does upload cardiologist. sent3: the megaphone is not sublunar. sent4: if that the handwear is nontechnical but it is not a Shamash is false the fact that it is not a heterocyclic hold. sent5: the improvisation is technical if the handwear is both a Shamash and not technical. sent6: the fact that the handwear is nontechnical and is not a kind of a Shamash is incorrect if there is something such that it is not sublunar. sent7: the improvisation is a heterocyclic if the stratus is not a kind of a Empetrum or it ferments Peel or both. sent8: the handwear is both a Shamash and nontechnical.
void -> assump1: Let's assume that the fact that the stratus does upload cardiologist is not false.; sent1 -> int1: if the improvisation is not nontechnical it is not a heterocyclic.; sent5 & sent8 -> int2: the improvisation is technical.; int1 & int2 -> int3: the improvisation is not a heterocyclic.;
that the improvisation is not a Empetrum or it does harangue megaphone or both is not false.
sent3 -> int4: something is non-sublunar.; int4 & sent6 -> int5: that the handwear is nontechnical but it is not a Shamash is not right.; sent4 & int5 -> int6: the fact that the handwear is not a kind of a heterocyclic is not incorrect.; int6 -> int7: there is something such that it is not a heterocyclic.;
$hypothesis$ = there exists something such that it does not upload cardiologist. ; $context$ = sent1: if something is not nontechnical then it is not a heterocyclic. sent2: there exists something such that it does upload cardiologist. sent3: the megaphone is not sublunar. sent4: if that the handwear is nontechnical but it is not a Shamash is false the fact that it is not a heterocyclic hold. sent5: the improvisation is technical if the handwear is both a Shamash and not technical. sent6: the fact that the handwear is nontechnical and is not a kind of a Shamash is incorrect if there is something such that it is not sublunar. sent7: the improvisation is a heterocyclic if the stratus is not a kind of a Empetrum or it ferments Peel or both. sent8: the handwear is both a Shamash and nontechnical. ; $proof$ = 
void -> assump1: Let's assume that the fact that the stratus does upload cardiologist is not false.; sent1 -> int1: if the improvisation is not nontechnical it is not a heterocyclic.; sent5 & sent8 -> int2: the improvisation is technical.; int1 & int2 -> int3: the improvisation is not a heterocyclic.; __UNKNOWN__