that that the malting Ana does not occur and the soldiering does not occur is triggered by the shrinkage is incorrect.
sent1: the soldiering does not occur. sent2: that the overhaul occurs brings about that the malting ancestry does not occur and the projection does not occur. sent3: if the fact that the grubbing uropathy does not occur and/or the shrinkage does not occur is incorrect the grubbing championship does not occur. sent4: the fact that both the point-of-saleness and the takedown occurs is true. sent5: the nonfunctionalness does not occur. sent6: the topping refinery occurs and the radiography occurs. sent7: if the soldiering does not occur but the topping fixedness happens the malting Ana happens. sent8: the grubbing uropathy happens. sent9: the grubbing convertible occurs. sent10: the topping bookworm occurs and the takedown occurs. sent11: that the malting Ana happens is prevented by that the grubbing uropathy occurs and the shrinkage occurs.
void -> assump1: Let's assume that the shrinkage happens.; sent8 & assump1 -> int1: both the grubbing uropathy and the shrinkage occurs.; int1 & sent11 -> int2: that the malting Ana does not occur is not false.; int2 & sent1 -> int3: the malting Ana does not occur and the soldiering does not occur.; [assump1] & int3 -> hypothesis;
the grubbing championship does not occur.
$hypothesis$ = that that the malting Ana does not occur and the soldiering does not occur is triggered by the shrinkage is incorrect. ; $context$ = sent1: the soldiering does not occur. sent2: that the overhaul occurs brings about that the malting ancestry does not occur and the projection does not occur. sent3: if the fact that the grubbing uropathy does not occur and/or the shrinkage does not occur is incorrect the grubbing championship does not occur. sent4: the fact that both the point-of-saleness and the takedown occurs is true. sent5: the nonfunctionalness does not occur. sent6: the topping refinery occurs and the radiography occurs. sent7: if the soldiering does not occur but the topping fixedness happens the malting Ana happens. sent8: the grubbing uropathy happens. sent9: the grubbing convertible occurs. sent10: the topping bookworm occurs and the takedown occurs. sent11: that the malting Ana happens is prevented by that the grubbing uropathy occurs and the shrinkage occurs. ; $proof$ = 
void -> assump1: Let's assume that the shrinkage happens.; sent8 & assump1 -> int1: both the grubbing uropathy and the shrinkage occurs.; int1 & sent11 -> int2: that the malting Ana does not occur is not false.; int2 & sent1 -> int3: the malting Ana does not occur and the soldiering does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__