that the nimbus occurs and the poorness happens does not hold.
sent1: if the adjectivalness does not occur both the efficaciousness and the schizoidness occurs. sent2: if the strafing does not occur then that the nimbus and the retail occurs does not hold. sent3: if the stopover does not occur then the whoring occurs. sent4: the slaughter does not occur if that the efficaciousness does not occur and the biopsy does not occur does not hold. sent5: the non-efficaciousness brings about that both the nimbus and the poor happens. sent6: that the Zambian happens is caused by that the catarrhine does not occur and the bibliophilicness does not occur. sent7: the oleophilicness happens and the tinning tanka occurs. sent8: that the adjectivalness occurs is not wrong if the strafe does not occur and the retailing does not occur. sent9: the transcription does not occur if the adjectivalness and the biopsy occurs. sent10: the strafing does not occur and the retail does not occur. sent11: the biopsy is brought about by the efficaciousness. sent12: both the March and the K.E. occurs. sent13: that not the effacing flavone but the klondike happens does not hold. sent14: if the adjectivalness does not occur the fact that the fact that the efficaciousness does not occur and the biopsy does not occur is not incorrect does not hold. sent15: the bibliophilicness occurs. sent16: if both the Andeanness and the expensiveness happens the emulousness does not occur. sent17: the unattributableness does not occur if that that the bursting does not occur and the unattributableness occurs is true is not right. sent18: that the helpdesk does not occur but the menstruating NIMBY happens brings about that the sessileness happens. sent19: if the expensiveness does not occur both the twilight and the follicularness happens. sent20: that the transcription does not occur and the poor occurs yields the non-adjectivalness. sent21: if the fact that the effacing flavone does not occur but the klondike occurs is not correct the klondike does not occur. sent22: that the transcription and the neutralization happens is brought about by that the klondike does not occur. sent23: if the efficaciousness does not occur then the poor occurs. sent24: the plantigrade does not occur. sent25: the Zambian happens.
void -> assump1: Let's assume that the efficaciousness happens.; sent11 & assump1 -> int1: the biopsy happens.; sent8 & sent10 -> int2: the adjectivalness happens.; int1 & int2 -> int3: the adjectivalness and the biopsy happens.; int3 & sent9 -> int4: that the transcription does not occur is correct.; sent21 & sent13 -> int5: the klondike does not occur.; sent22 & int5 -> int6: the transcription occurs and the neutralization happens.; int6 -> int7: the transcription occurs.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the efficaciousness does not occur.; int9 & sent5 -> hypothesis;
the unretentiveness occurs and the schizoid occurs.
$hypothesis$ = that the nimbus occurs and the poorness happens does not hold. ; $context$ = sent1: if the adjectivalness does not occur both the efficaciousness and the schizoidness occurs. sent2: if the strafing does not occur then that the nimbus and the retail occurs does not hold. sent3: if the stopover does not occur then the whoring occurs. sent4: the slaughter does not occur if that the efficaciousness does not occur and the biopsy does not occur does not hold. sent5: the non-efficaciousness brings about that both the nimbus and the poor happens. sent6: that the Zambian happens is caused by that the catarrhine does not occur and the bibliophilicness does not occur. sent7: the oleophilicness happens and the tinning tanka occurs. sent8: that the adjectivalness occurs is not wrong if the strafe does not occur and the retailing does not occur. sent9: the transcription does not occur if the adjectivalness and the biopsy occurs. sent10: the strafing does not occur and the retail does not occur. sent11: the biopsy is brought about by the efficaciousness. sent12: both the March and the K.E. occurs. sent13: that not the effacing flavone but the klondike happens does not hold. sent14: if the adjectivalness does not occur the fact that the fact that the efficaciousness does not occur and the biopsy does not occur is not incorrect does not hold. sent15: the bibliophilicness occurs. sent16: if both the Andeanness and the expensiveness happens the emulousness does not occur. sent17: the unattributableness does not occur if that that the bursting does not occur and the unattributableness occurs is true is not right. sent18: that the helpdesk does not occur but the menstruating NIMBY happens brings about that the sessileness happens. sent19: if the expensiveness does not occur both the twilight and the follicularness happens. sent20: that the transcription does not occur and the poor occurs yields the non-adjectivalness. sent21: if the fact that the effacing flavone does not occur but the klondike occurs is not correct the klondike does not occur. sent22: that the transcription and the neutralization happens is brought about by that the klondike does not occur. sent23: if the efficaciousness does not occur then the poor occurs. sent24: the plantigrade does not occur. sent25: the Zambian happens. ; $proof$ = 
void -> assump1: Let's assume that the efficaciousness happens.; sent11 & assump1 -> int1: the biopsy happens.; sent8 & sent10 -> int2: the adjectivalness happens.; int1 & int2 -> int3: the adjectivalness and the biopsy happens.; int3 & sent9 -> int4: that the transcription does not occur is correct.; sent21 & sent13 -> int5: the klondike does not occur.; sent22 & int5 -> int6: the transcription occurs and the neutralization happens.; int6 -> int7: the transcription occurs.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the efficaciousness does not occur.; int9 & sent5 -> hypothesis; __DISPROVED__