the avulsion does not occur.
sent1: the on-the-jobness happens and the effecting fumigator occurs if the bismuthicness does not occur. sent2: the effecting fumigator occurs. sent3: the mouthing occurs and the adoxography happens if the holdout does not occur. sent4: that the neglecting does not occur and/or the butyricness happens causes the butyricness. sent5: that the presuming does not occur but the bandying happens is wrong if the slipperiness does not occur. sent6: if the containing happens then that the slipperiness but not the organizing PABA happens does not hold. sent7: that the avulsion does not occur triggers that the holdout occurs and/or the smokiness. sent8: the introversiveness occurs and the on-the-jobness happens. sent9: the unshodness and/or that the custom does not occur triggers the containing. sent10: the Hemingwayesqueness does not occur if both the unobtrusiveness and the introversiveness happens. sent11: the atmosphere does not occur and the unreproducibleness occurs if the butyricness occurs. sent12: that the bismuthicness does not occur is brought about by either the reserving or that the bismuthicness does not occur or both. sent13: the fact that the slipperiness does not occur is correct if the fact that the slipperiness but not the organizing PABA happens does not hold. sent14: if the Hemingwayesqueness does not occur the atmosphere occurs. sent15: either the reserving or the non-bismuthicness or both occurs if that the bandying happens is incorrect. sent16: the bandying does not occur if the fact that not the presuming but the bandying happens is false. sent17: the holdout does not occur if that the holdout occurs but the churn does not occur is incorrect. sent18: if the effecting fumigator happens then either the neglecting does not occur or the butyricness happens or both. sent19: the fact that the unreproducibleness does not occur is not incorrect if not the neglect but the butyricness happens. sent20: if that the butyricness happens is correct the unreproducibleness occurs. sent21: if the unreproducibleness does not occur the atmosphere and the Hemingwayesqueness happens. sent22: that the mouthing happens leads to that the unshodness happens or the custom does not occur or both. sent23: that the smokiness happens prevents that the unobtrusiveness does not occur. sent24: the unobtrusiveness occurs if the holdout occurs.
void -> assump1: Let's assume that the avulsion does not occur.; sent7 & assump1 -> int1: the holdout happens and/or the smokiness happens.; int1 & sent24 & sent23 -> int2: the unobtrusiveness happens.; sent8 -> int3: the introversiveness happens.; int2 & int3 -> int4: the unobtrusiveness occurs and the introversiveness occurs.; int4 & sent10 -> int5: the Hemingwayesqueness does not occur.; int5 & sent14 -> int6: the atmosphere happens.; sent18 & sent2 -> int7: the neglect does not occur and/or the butyricness happens.; sent4 & int7 -> int8: that the butyricness happens is not incorrect.; sent11 & int8 -> int9: that not the atmosphere but the unreproducibleness occurs hold.; int9 -> int10: that the atmosphere does not occur is true.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the avulsion does not occur.
$hypothesis$ = the avulsion does not occur. ; $context$ = sent1: the on-the-jobness happens and the effecting fumigator occurs if the bismuthicness does not occur. sent2: the effecting fumigator occurs. sent3: the mouthing occurs and the adoxography happens if the holdout does not occur. sent4: that the neglecting does not occur and/or the butyricness happens causes the butyricness. sent5: that the presuming does not occur but the bandying happens is wrong if the slipperiness does not occur. sent6: if the containing happens then that the slipperiness but not the organizing PABA happens does not hold. sent7: that the avulsion does not occur triggers that the holdout occurs and/or the smokiness. sent8: the introversiveness occurs and the on-the-jobness happens. sent9: the unshodness and/or that the custom does not occur triggers the containing. sent10: the Hemingwayesqueness does not occur if both the unobtrusiveness and the introversiveness happens. sent11: the atmosphere does not occur and the unreproducibleness occurs if the butyricness occurs. sent12: that the bismuthicness does not occur is brought about by either the reserving or that the bismuthicness does not occur or both. sent13: the fact that the slipperiness does not occur is correct if the fact that the slipperiness but not the organizing PABA happens does not hold. sent14: if the Hemingwayesqueness does not occur the atmosphere occurs. sent15: either the reserving or the non-bismuthicness or both occurs if that the bandying happens is incorrect. sent16: the bandying does not occur if the fact that not the presuming but the bandying happens is false. sent17: the holdout does not occur if that the holdout occurs but the churn does not occur is incorrect. sent18: if the effecting fumigator happens then either the neglecting does not occur or the butyricness happens or both. sent19: the fact that the unreproducibleness does not occur is not incorrect if not the neglect but the butyricness happens. sent20: if that the butyricness happens is correct the unreproducibleness occurs. sent21: if the unreproducibleness does not occur the atmosphere and the Hemingwayesqueness happens. sent22: that the mouthing happens leads to that the unshodness happens or the custom does not occur or both. sent23: that the smokiness happens prevents that the unobtrusiveness does not occur. sent24: the unobtrusiveness occurs if the holdout occurs. ; $proof$ = 
void -> assump1: Let's assume that the avulsion does not occur.; sent7 & assump1 -> int1: the holdout happens and/or the smokiness happens.; int1 & sent24 & sent23 -> int2: the unobtrusiveness happens.; sent8 -> int3: the introversiveness happens.; int2 & int3 -> int4: the unobtrusiveness occurs and the introversiveness occurs.; int4 & sent10 -> int5: the Hemingwayesqueness does not occur.; int5 & sent14 -> int6: the atmosphere happens.; sent18 & sent2 -> int7: the neglect does not occur and/or the butyricness happens.; sent4 & int7 -> int8: that the butyricness happens is not incorrect.; sent11 & int8 -> int9: that not the atmosphere but the unreproducibleness occurs hold.; int9 -> int10: that the atmosphere does not occur is true.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __DISPROVED__