the nonlinguisticness does not occur.
sent1: the bottoming and the non-nonlinguisticness happens if the fact that the harvest occurs is true. sent2: the fact that the bottom occurs does not hold if the equalizing occurs. sent3: if the bottomness does not occur then the nonlinguisticness does not occur and the harvest does not occur. sent4: that the takeover does not occur is prevented by that the multiplying like occurs. sent5: the intraventricularness occurs if the assessment occurs. sent6: that the equalizing does not occur is prevented by that the patronaging antibacterial occurs. sent7: the dietary does not occur. sent8: the handlessness does not occur if that the intraventricularness but not the assessment happens is not right. sent9: the intraventricularness brings about that the multiplying like occurs. sent10: that the takeover occurs prevents that the harvesting does not occur. sent11: the fact that if the multiplying like does not occur then that the intraventricularness but not the assessment occurs is not true hold.
void -> assump1: Let's assume that the dietary occurs and the handlessness does not occur.; assump1 -> int1: the dietariness occurs.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the dietary and the handedness happens is not correct.;
the extricableness does not occur.
$hypothesis$ = the nonlinguisticness does not occur. ; $context$ = sent1: the bottoming and the non-nonlinguisticness happens if the fact that the harvest occurs is true. sent2: the fact that the bottom occurs does not hold if the equalizing occurs. sent3: if the bottomness does not occur then the nonlinguisticness does not occur and the harvest does not occur. sent4: that the takeover does not occur is prevented by that the multiplying like occurs. sent5: the intraventricularness occurs if the assessment occurs. sent6: that the equalizing does not occur is prevented by that the patronaging antibacterial occurs. sent7: the dietary does not occur. sent8: the handlessness does not occur if that the intraventricularness but not the assessment happens is not right. sent9: the intraventricularness brings about that the multiplying like occurs. sent10: that the takeover occurs prevents that the harvesting does not occur. sent11: the fact that if the multiplying like does not occur then that the intraventricularness but not the assessment occurs is not true hold. ; $proof$ = 
void -> assump1: Let's assume that the dietary occurs and the handlessness does not occur.; assump1 -> int1: the dietariness occurs.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the dietary and the handedness happens is not correct.; __UNKNOWN__