the fact that the non-prolateness is prevented by that the fadeout occurs is incorrect.
sent1: that the pant-hooting happens and the gravitation occurs prevents the prolateness. sent2: the wedge happens. sent3: that both the fadeout and the wedging happens prevents the rationalisticness. sent4: the inactivation does not occur if both the postdiluvian and the achondriticness occurs. sent5: the non-rationalisticness leads to that the prolateness happens. sent6: if that the atheroscleroticness does not occur does not hold then the fact that the autoeciousness happens is not false. sent7: the profaneness happens. sent8: the subtropicalness happens. sent9: that the wedge does not occur causes that the fadeout and the dissuasiveness occurs.
void -> assump1: Let's assume that the fadeout occurs.; assump1 & sent2 -> int1: the fadeout and the wedge occurs.; sent3 & int1 -> int2: the rationalisticness does not occur.; sent5 & int2 -> int3: the fact that that the prolateness does not occur is not false does not hold.; [assump1] & int3 -> hypothesis;
the dissuasiveness happens.
$hypothesis$ = the fact that the non-prolateness is prevented by that the fadeout occurs is incorrect. ; $context$ = sent1: that the pant-hooting happens and the gravitation occurs prevents the prolateness. sent2: the wedge happens. sent3: that both the fadeout and the wedging happens prevents the rationalisticness. sent4: the inactivation does not occur if both the postdiluvian and the achondriticness occurs. sent5: the non-rationalisticness leads to that the prolateness happens. sent6: if that the atheroscleroticness does not occur does not hold then the fact that the autoeciousness happens is not false. sent7: the profaneness happens. sent8: the subtropicalness happens. sent9: that the wedge does not occur causes that the fadeout and the dissuasiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fadeout occurs.; assump1 & sent2 -> int1: the fadeout and the wedge occurs.; sent3 & int1 -> int2: the rationalisticness does not occur.; sent5 & int2 -> int3: the fact that that the prolateness does not occur is not false does not hold.; [assump1] & int3 -> hypothesis; __DISPROVED__