that if the allomorphicness occurs then that that the betteringness happens hold does not hold is false.
sent1: that the primateship does not occur results in that the shark happens and the allomorphicness happens. sent2: if the fact that the allomorphicness happens and the primateship happens hold the betteringness happens. sent3: the fact that the primateship happens is not incorrect. sent4: the fact that the owning occurs hold. sent5: if the brawl does not occur the fact that the luxuriating cackler does not occur and the funrun happens is not correct. sent6: the betteringness does not occur if the allomorphicness occurs and the primateship happens. sent7: the vesiculating does not occur if that not the luxuriating cackler but the funrun occurs does not hold. sent8: the bettering happens. sent9: if the vesiculating does not occur the bettering does not occur and the primateship does not occur.
void -> assump1: Let's assume that the allomorphicness occurs.; assump1 & sent3 -> int1: the allomorphicness and the primateship happens.; sent6 & int1 -> int2: the betteringness does not occur.; [assump1] & int2 -> hypothesis;
the sharking occurs.
$hypothesis$ = that if the allomorphicness occurs then that that the betteringness happens hold does not hold is false. ; $context$ = sent1: that the primateship does not occur results in that the shark happens and the allomorphicness happens. sent2: if the fact that the allomorphicness happens and the primateship happens hold the betteringness happens. sent3: the fact that the primateship happens is not incorrect. sent4: the fact that the owning occurs hold. sent5: if the brawl does not occur the fact that the luxuriating cackler does not occur and the funrun happens is not correct. sent6: the betteringness does not occur if the allomorphicness occurs and the primateship happens. sent7: the vesiculating does not occur if that not the luxuriating cackler but the funrun occurs does not hold. sent8: the bettering happens. sent9: if the vesiculating does not occur the bettering does not occur and the primateship does not occur. ; $proof$ = 
void -> assump1: Let's assume that the allomorphicness occurs.; assump1 & sent3 -> int1: the allomorphicness and the primateship happens.; sent6 & int1 -> int2: the betteringness does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__