the cozening unfavorableness occurs.
sent1: the butting sweatbox does not occur and the overhanging does not occur if the cozening firmness happens. sent2: if the digression occurs the divulgence does not occur and the decline occurs. sent3: that the weaving sill occurs and the puerileness does not occur is caused by the butting newsroom. sent4: if the butting Audubon does not occur that the Eddy occurs but the refutation does not occur is not correct. sent5: the acousticness is prevented by that the weaving sill occurs but the puerileness does not occur. sent6: the fact that the butting sweatbox does not occur and the quaver does not occur is false if the overhanging occurs. sent7: if the acoustic does not occur the cozening unfavorableness does not occur. sent8: the acoustic and the divulgence happens. sent9: if that the butting newsroom does not occur is true then the overexposure does not occur. sent10: if the fact that the butting sweatbox does not occur and the quaver does not occur is not correct the quaver occurs. sent11: the brisance happens if that the downturn does not occur and the brisance does not occur is incorrect. sent12: the fact that the digression occurs and the skit does not occur is not false if the Eddy does not occur. sent13: if the declining does not occur then the overhang but not the cozening firmness occurs. sent14: that the cozening firmness happens hold if the decline happens. sent15: the fact that the divulgence does not occur is not right. sent16: the iterating does not occur. sent17: that the Eddy does not occur is not incorrect if that the Eddy happens and the refutation does not occur is wrong. sent18: the decline does not occur.
void -> assump1: Let's assume that the butting newsroom occurs.; sent3 & assump1 -> int1: the weaving sill but not the puerileness occurs.; int1 & sent5 -> int2: that the acoustic does not occur is right.; sent8 -> int3: the acoustic occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the butting newsroom does not occur.; int5 & sent9 -> int6: the overexposure does not occur.; sent13 & sent18 -> int7: the overhanging but not the cozening firmness occurs.; int7 -> int8: that the overhang happens hold.; sent6 & int8 -> int9: that the butting sweatbox does not occur and the quavering does not occur is wrong.; sent10 & int9 -> int10: the quavering happens.; int6 & int10 -> int11: the overexposure does not occur and the quavering occurs.;
the cozening unfavorableness does not occur.
$hypothesis$ = the cozening unfavorableness occurs. ; $context$ = sent1: the butting sweatbox does not occur and the overhanging does not occur if the cozening firmness happens. sent2: if the digression occurs the divulgence does not occur and the decline occurs. sent3: that the weaving sill occurs and the puerileness does not occur is caused by the butting newsroom. sent4: if the butting Audubon does not occur that the Eddy occurs but the refutation does not occur is not correct. sent5: the acousticness is prevented by that the weaving sill occurs but the puerileness does not occur. sent6: the fact that the butting sweatbox does not occur and the quaver does not occur is false if the overhanging occurs. sent7: if the acoustic does not occur the cozening unfavorableness does not occur. sent8: the acoustic and the divulgence happens. sent9: if that the butting newsroom does not occur is true then the overexposure does not occur. sent10: if the fact that the butting sweatbox does not occur and the quaver does not occur is not correct the quaver occurs. sent11: the brisance happens if that the downturn does not occur and the brisance does not occur is incorrect. sent12: the fact that the digression occurs and the skit does not occur is not false if the Eddy does not occur. sent13: if the declining does not occur then the overhang but not the cozening firmness occurs. sent14: that the cozening firmness happens hold if the decline happens. sent15: the fact that the divulgence does not occur is not right. sent16: the iterating does not occur. sent17: that the Eddy does not occur is not incorrect if that the Eddy happens and the refutation does not occur is wrong. sent18: the decline does not occur. ; $proof$ = 
void -> assump1: Let's assume that the butting newsroom occurs.; sent3 & assump1 -> int1: the weaving sill but not the puerileness occurs.; int1 & sent5 -> int2: that the acoustic does not occur is right.; sent8 -> int3: the acoustic occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the butting newsroom does not occur.; int5 & sent9 -> int6: the overexposure does not occur.; sent13 & sent18 -> int7: the overhanging but not the cozening firmness occurs.; int7 -> int8: that the overhang happens hold.; sent6 & int8 -> int9: that the butting sweatbox does not occur and the quavering does not occur is wrong.; sent10 & int9 -> int10: the quavering happens.; int6 & int10 -> int11: the overexposure does not occur and the quavering occurs.; __UNKNOWN__