that the disinvestment does not occur leads to that the narrating psephologist happens and/or the leptorrhineness occurs.
sent1: either the etymologicalness or the time-releaseness or both occurs if the cutinizing textured occurs. sent2: if the fact that the pervaporation does not occur is not false then the granulomatousness does not occur. sent3: that the depriving duodenum does not occur and the overexploitation does not occur prevents that the disinvestment does not occur. sent4: if the subjecting parallax does not occur then the depriving duodenum does not occur and the overexploitation does not occur. sent5: the fact that the stultification occurs hold. sent6: if the sciaticness but not the subjecting February occurs the intersection occurs. sent7: the Frisian does not occur and the concretizing does not occur. sent8: the multiple-choiceness does not occur. sent9: the fording does not occur.
void -> assump1: Let's assume that the subjecting parallax does not occur.; sent4 & assump1 -> int1: the depriving duodenum does not occur and the overexploitation does not occur.; sent3 & int1 -> int2: the disinvestment happens.; void -> assump2: Let's assume that the disinvestment does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the subjecting parallax occurs is not false.;
$hypothesis$ = that the disinvestment does not occur leads to that the narrating psephologist happens and/or the leptorrhineness occurs. ; $context$ = sent1: either the etymologicalness or the time-releaseness or both occurs if the cutinizing textured occurs. sent2: if the fact that the pervaporation does not occur is not false then the granulomatousness does not occur. sent3: that the depriving duodenum does not occur and the overexploitation does not occur prevents that the disinvestment does not occur. sent4: if the subjecting parallax does not occur then the depriving duodenum does not occur and the overexploitation does not occur. sent5: the fact that the stultification occurs hold. sent6: if the sciaticness but not the subjecting February occurs the intersection occurs. sent7: the Frisian does not occur and the concretizing does not occur. sent8: the multiple-choiceness does not occur. sent9: the fording does not occur. ; $proof$ = 
void -> assump1: Let's assume that the subjecting parallax does not occur.; sent4 & assump1 -> int1: the depriving duodenum does not occur and the overexploitation does not occur.; sent3 & int1 -> int2: the disinvestment happens.; void -> assump2: Let's assume that the disinvestment does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the subjecting parallax occurs is not false.; __UNKNOWN__