that the recovery does not occur and the overflowing occurs is wrong.
sent1: the fug does not occur. sent2: the fact that the neuropsychologicalness does not occur but the listing Cohan happens does not hold. sent3: the non-humaneness results in that the jumpstarting does not occur. sent4: the aerologicalness does not occur if that that the rebound happens and/or the listing ordinal does not occur hold is not right. sent5: that the humaneness occurs is prevented by that not the aerologicalness but the handing happens. sent6: the dumping life does not occur if the listing ordinal does not occur. sent7: the fact that the neuropsychologicalness does not occur and the listing Cohan does not occur is wrong. sent8: if the drama does not occur then that that the falsehood does not occur but the oleophobicness happens does not hold hold. sent9: the dumping life does not occur if the rebound happens. sent10: the heads-up happens or the listing mummery does not occur or both. sent11: if the unwinding does not occur then both the hand and the farandole happens. sent12: the unwinding does not occur if the fact that the neuropsychologicalness does not occur and the listing Cohan does not occur is not right. sent13: the heraldicness occurs. sent14: the overflow happens if that not the dumping life but the listing ordinal occurs is not right. sent15: the fact that not the recovery but the overflow happens is not true if the jumpstart does not occur. sent16: the dumping life occurs if the heraldicness occurs.
void -> assump1: Let's assume that the rebound happens and/or the listing ordinal does not occur.; assump1 & sent9 & sent6 -> int1: the dumping life does not occur.; sent16 & sent13 -> int2: the dumping life occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the rebound occurs and/or the listing ordinal does not occur is wrong.; int4 & sent4 -> int5: the aerologicalness does not occur.; sent12 & sent7 -> int6: that the unwinding does not occur is true.; sent11 & int6 -> int7: the handing happens and the farandole occurs.; int7 -> int8: the fact that the hand occurs hold.; int5 & int8 -> int9: the aerologicalness does not occur and the handing occurs.; int9 & sent5 -> int10: the humaneness does not occur.; int10 & sent3 -> int11: the jumpstarting does not occur.; int11 & sent15 -> hypothesis;
not the recovery but the overflowing occurs.
$hypothesis$ = that the recovery does not occur and the overflowing occurs is wrong. ; $context$ = sent1: the fug does not occur. sent2: the fact that the neuropsychologicalness does not occur but the listing Cohan happens does not hold. sent3: the non-humaneness results in that the jumpstarting does not occur. sent4: the aerologicalness does not occur if that that the rebound happens and/or the listing ordinal does not occur hold is not right. sent5: that the humaneness occurs is prevented by that not the aerologicalness but the handing happens. sent6: the dumping life does not occur if the listing ordinal does not occur. sent7: the fact that the neuropsychologicalness does not occur and the listing Cohan does not occur is wrong. sent8: if the drama does not occur then that that the falsehood does not occur but the oleophobicness happens does not hold hold. sent9: the dumping life does not occur if the rebound happens. sent10: the heads-up happens or the listing mummery does not occur or both. sent11: if the unwinding does not occur then both the hand and the farandole happens. sent12: the unwinding does not occur if the fact that the neuropsychologicalness does not occur and the listing Cohan does not occur is not right. sent13: the heraldicness occurs. sent14: the overflow happens if that not the dumping life but the listing ordinal occurs is not right. sent15: the fact that not the recovery but the overflow happens is not true if the jumpstart does not occur. sent16: the dumping life occurs if the heraldicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the rebound happens and/or the listing ordinal does not occur.; assump1 & sent9 & sent6 -> int1: the dumping life does not occur.; sent16 & sent13 -> int2: the dumping life occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the rebound occurs and/or the listing ordinal does not occur is wrong.; int4 & sent4 -> int5: the aerologicalness does not occur.; sent12 & sent7 -> int6: that the unwinding does not occur is true.; sent11 & int6 -> int7: the handing happens and the farandole occurs.; int7 -> int8: the fact that the hand occurs hold.; int5 & int8 -> int9: the aerologicalness does not occur and the handing occurs.; int9 & sent5 -> int10: the humaneness does not occur.; int10 & sent3 -> int11: the jumpstarting does not occur.; int11 & sent15 -> hypothesis; __PROVED__