the Montserratianness does not occur.
sent1: the rendition does not occur if that the adoption does not occur and the horseshow does not occur is wrong. sent2: that the congratulating disinvestment does not occur and the congratulating Antoninus does not occur is caused by the venturing. sent3: if the fact that the fact that the congratulating disinvestment does not occur and the venture does not occur is not false is false then the receivership does not occur. sent4: the effervescentness does not occur if that the rugby does not occur and the effervescentness occurs is not right. sent5: if the congratulating disinvestment does not occur then the malignantness occurs. sent6: the venturing does not occur. sent7: the malignantness does not occur. sent8: if the federalness does not occur that the zizz does not occur but the overrefining fixation occurs is not correct. sent9: that the Montserratian happens is prevented by that the congratulating disinvestment happens and the venture occurs. sent10: if that the zizz does not occur and the overrefining fixation happens is wrong the Montserratianness does not occur. sent11: if the receivership does not occur then the Montserratianness happens. sent12: that the federalness does not occur if that the volution occurs and the semaphoring happens is not right is true. sent13: if the fact that the effervescentness does not occur hold that the volution and the semaphore occurs does not hold.
void -> assump1: Let's assume that the congratulating disinvestment does not occur and the venture does not occur.; assump1 -> int1: the congratulating disinvestment does not occur.; int1 & sent5 -> int2: the malignantness happens.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the congratulating disinvestment does not occur and the venture does not occur is wrong.; int4 & sent3 -> int5: the receivership does not occur.; int5 & sent11 -> hypothesis;
the congratulating Antoninus does not occur.
$hypothesis$ = the Montserratianness does not occur. ; $context$ = sent1: the rendition does not occur if that the adoption does not occur and the horseshow does not occur is wrong. sent2: that the congratulating disinvestment does not occur and the congratulating Antoninus does not occur is caused by the venturing. sent3: if the fact that the fact that the congratulating disinvestment does not occur and the venture does not occur is not false is false then the receivership does not occur. sent4: the effervescentness does not occur if that the rugby does not occur and the effervescentness occurs is not right. sent5: if the congratulating disinvestment does not occur then the malignantness occurs. sent6: the venturing does not occur. sent7: the malignantness does not occur. sent8: if the federalness does not occur that the zizz does not occur but the overrefining fixation occurs is not correct. sent9: that the Montserratian happens is prevented by that the congratulating disinvestment happens and the venture occurs. sent10: if that the zizz does not occur and the overrefining fixation happens is wrong the Montserratianness does not occur. sent11: if the receivership does not occur then the Montserratianness happens. sent12: that the federalness does not occur if that the volution occurs and the semaphoring happens is not right is true. sent13: if the fact that the effervescentness does not occur hold that the volution and the semaphore occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the congratulating disinvestment does not occur and the venture does not occur.; assump1 -> int1: the congratulating disinvestment does not occur.; int1 & sent5 -> int2: the malignantness happens.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the congratulating disinvestment does not occur and the venture does not occur is wrong.; int4 & sent3 -> int5: the receivership does not occur.; int5 & sent11 -> hypothesis; __DISPROVED__