the fact that the nay does not occur and the dispersion does not occur does not hold.
sent1: the uttering does not occur. sent2: the inspissation happens. sent3: if the cholinergicness occurs and the clipping occurs the lapidifying does not occur. sent4: that the uttering does not occur and the surpassing does not occur is not true if the clinker-builtness does not occur. sent5: if the fact that the nay does not occur and the dispersion does not occur is not correct the rationalistness happens. sent6: the middling chock and/or the redirecting pantsuit prevents that the clinker-builtness happens. sent7: the nay does not occur. sent8: the middling chock occurs if the rationalistness happens. sent9: the surpassing is prevented by that both the diligence and the philhellenicness occurs. sent10: both the diligence and the philhellenicness happens.
void -> assump1: Let's assume that that the nay does not occur and the dispersion does not occur does not hold.; sent5 & assump1 -> int1: that the rationalistness occurs is not incorrect.; int1 & sent8 -> int2: the middling chock happens.; int2 -> int3: the middling chock occurs and/or the redirecting pantsuit happens.; int3 & sent6 -> int4: the fact that the clinker-builtness does not occur is not wrong.; int4 & sent4 -> int5: that the uttering does not occur and the surpassing does not occur is wrong.; sent9 & sent10 -> int6: the surpassing does not occur.; sent1 & int6 -> int7: the uttering does not occur and the surpassing does not occur.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the fact that the nay does not occur and the dispersion does not occur does not hold. ; $context$ = sent1: the uttering does not occur. sent2: the inspissation happens. sent3: if the cholinergicness occurs and the clipping occurs the lapidifying does not occur. sent4: that the uttering does not occur and the surpassing does not occur is not true if the clinker-builtness does not occur. sent5: if the fact that the nay does not occur and the dispersion does not occur is not correct the rationalistness happens. sent6: the middling chock and/or the redirecting pantsuit prevents that the clinker-builtness happens. sent7: the nay does not occur. sent8: the middling chock occurs if the rationalistness happens. sent9: the surpassing is prevented by that both the diligence and the philhellenicness occurs. sent10: both the diligence and the philhellenicness happens. ; $proof$ = 
void -> assump1: Let's assume that that the nay does not occur and the dispersion does not occur does not hold.; sent5 & assump1 -> int1: that the rationalistness occurs is not incorrect.; int1 & sent8 -> int2: the middling chock happens.; int2 -> int3: the middling chock occurs and/or the redirecting pantsuit happens.; int3 & sent6 -> int4: the fact that the clinker-builtness does not occur is not wrong.; int4 & sent4 -> int5: that the uttering does not occur and the surpassing does not occur is wrong.; sent9 & sent10 -> int6: the surpassing does not occur.; sent1 & int6 -> int7: the uttering does not occur and the surpassing does not occur.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__