the fact that the severance occurs hold.
sent1: that the rerunning Mosaic occurs and the cleaning happens yields the non-roundingness. sent2: that the lapsing does not occur leads to that the rounding and the non-cleanness happens. sent3: that the transmigration does not occur yields that the rerunning Mosaic happens. sent4: the trundling Colossians does not occur if that the severance does not occur and the election happens is incorrect. sent5: both the cleanness and the lapsing occurs. sent6: the reorientation happens. sent7: that the lapsing occurs is prevented by that both the non-trivalentness and the non-Arabianness occurs. sent8: the fact that that the slinking does not occur is caused by that the severance happens and the election occurs is not incorrect. sent9: the transmigration does not occur if the slinking does not occur. sent10: the election happens. sent11: that the SNP does not occur results in that both the non-trivalentness and the non-Arabianness happens. sent12: the roundingness occurs.
void -> assump1: Let's assume that the severance occurs.; assump1 & sent10 -> int1: that both the severance and the election occurs is not wrong.; int1 & sent8 -> int2: the slinking does not occur.; int2 & sent9 -> int3: the transmigration does not occur.; int3 & sent3 -> int4: the rerunning Mosaic happens.; sent5 -> int5: the fact that the clean occurs is not false.; int4 & int5 -> int6: both the rerunning Mosaic and the clean happens.; int6 & sent1 -> int7: the fact that the roundingness does not occur is correct.; int7 & sent12 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the trundling Colossians does not occur.
$hypothesis$ = the fact that the severance occurs hold. ; $context$ = sent1: that the rerunning Mosaic occurs and the cleaning happens yields the non-roundingness. sent2: that the lapsing does not occur leads to that the rounding and the non-cleanness happens. sent3: that the transmigration does not occur yields that the rerunning Mosaic happens. sent4: the trundling Colossians does not occur if that the severance does not occur and the election happens is incorrect. sent5: both the cleanness and the lapsing occurs. sent6: the reorientation happens. sent7: that the lapsing occurs is prevented by that both the non-trivalentness and the non-Arabianness occurs. sent8: the fact that that the slinking does not occur is caused by that the severance happens and the election occurs is not incorrect. sent9: the transmigration does not occur if the slinking does not occur. sent10: the election happens. sent11: that the SNP does not occur results in that both the non-trivalentness and the non-Arabianness happens. sent12: the roundingness occurs. ; $proof$ = 
void -> assump1: Let's assume that the severance occurs.; assump1 & sent10 -> int1: that both the severance and the election occurs is not wrong.; int1 & sent8 -> int2: the slinking does not occur.; int2 & sent9 -> int3: the transmigration does not occur.; int3 & sent3 -> int4: the rerunning Mosaic happens.; sent5 -> int5: the fact that the clean occurs is not false.; int4 & int5 -> int6: both the rerunning Mosaic and the clean happens.; int6 & sent1 -> int7: the fact that the roundingness does not occur is correct.; int7 & sent12 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__