the afterglow does not occur but the beat happens.
sent1: the disproportionateness occurs if that the intervening but not the phacoemulsification occurs is wrong. sent2: the mug does not occur. sent3: that the keratinizing sabotage does not occur and the stannicness happens is incorrect if the routemarch happens. sent4: that not the humming Umbrian but the summeriness occurs is wrong if the inefficientness happens. sent5: the flexure occurs. sent6: the fact that not the shushing drizzling but the humming quadrivium occurs is not correct. sent7: if the fact that the non-lightness and the synchronousness occurs is wrong then the whishing does not occur. sent8: the fact that not the afterglow but the beat happens is wrong if the keratinizing microscopy does not occur. sent9: that the condonation happens and the mug does not occur is not right if the flexure occurs. sent10: the fact that the keratinizing oxtongue does not occur but the unselfishness happens does not hold. sent11: the beating occurs and the condonation happens if the bullfighting does not occur. sent12: the skit occurs. sent13: that both the non-oppositeness and the inanimateness happens is false if the seconding occurs. sent14: that both the Panamanian and the roughleg occurs does not hold. sent15: the dismissal does not occur. sent16: the second occurs if that the bullfighting happens and the chancing does not occur is not right. sent17: that the bullfighting but not the chance happens is incorrect if the condonation does not occur. sent18: the afterglow does not occur and the mug does not occur if the chance occurs. sent19: the fact that the oppositeness and the non-secondness happens is false if that the keratinizing microscopy occurs is not incorrect. sent20: if that the non-oppositeness and the inanimateness occurs is not right the keratinizing microscopy does not occur.
void -> assump1: Let's assume that the condonation occurs.; assump1 & sent2 -> int1: the condonation but not the mug happens.; sent9 & sent5 -> int2: that the condonation occurs but the mugging does not occur is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the condonation does not occur.; int4 & sent17 -> int5: the fact that the bullfighting occurs but the chance does not occur is not true.; int5 & sent16 -> int6: the secondness occurs.; int6 & sent13 -> int7: the fact that that both the non-oppositeness and the inanimateness occurs is not correct is true.; int7 & sent20 -> int8: the keratinizing microscopy does not occur.; int8 & sent8 -> hypothesis;
the afterglow does not occur and the beating happens.
$hypothesis$ = the afterglow does not occur but the beat happens. ; $context$ = sent1: the disproportionateness occurs if that the intervening but not the phacoemulsification occurs is wrong. sent2: the mug does not occur. sent3: that the keratinizing sabotage does not occur and the stannicness happens is incorrect if the routemarch happens. sent4: that not the humming Umbrian but the summeriness occurs is wrong if the inefficientness happens. sent5: the flexure occurs. sent6: the fact that not the shushing drizzling but the humming quadrivium occurs is not correct. sent7: if the fact that the non-lightness and the synchronousness occurs is wrong then the whishing does not occur. sent8: the fact that not the afterglow but the beat happens is wrong if the keratinizing microscopy does not occur. sent9: that the condonation happens and the mug does not occur is not right if the flexure occurs. sent10: the fact that the keratinizing oxtongue does not occur but the unselfishness happens does not hold. sent11: the beating occurs and the condonation happens if the bullfighting does not occur. sent12: the skit occurs. sent13: that both the non-oppositeness and the inanimateness happens is false if the seconding occurs. sent14: that both the Panamanian and the roughleg occurs does not hold. sent15: the dismissal does not occur. sent16: the second occurs if that the bullfighting happens and the chancing does not occur is not right. sent17: that the bullfighting but not the chance happens is incorrect if the condonation does not occur. sent18: the afterglow does not occur and the mug does not occur if the chance occurs. sent19: the fact that the oppositeness and the non-secondness happens is false if that the keratinizing microscopy occurs is not incorrect. sent20: if that the non-oppositeness and the inanimateness occurs is not right the keratinizing microscopy does not occur. ; $proof$ = 
void -> assump1: Let's assume that the condonation occurs.; assump1 & sent2 -> int1: the condonation but not the mug happens.; sent9 & sent5 -> int2: that the condonation occurs but the mugging does not occur is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the condonation does not occur.; int4 & sent17 -> int5: the fact that the bullfighting occurs but the chance does not occur is not true.; int5 & sent16 -> int6: the secondness occurs.; int6 & sent13 -> int7: the fact that that both the non-oppositeness and the inanimateness occurs is not correct is true.; int7 & sent20 -> int8: the keratinizing microscopy does not occur.; int8 & sent8 -> hypothesis; __DISPROVED__