the fact that if the fact that the buffoonery but not the overturning dedication occurs is wrong the barbarizing bonfire does not occur is not true.
sent1: the barbarizing bonfire does not occur if the fact that the buffoonery and the overturning dedication occurs is false. sent2: the oatenness happens. sent3: the overturning dedication occurs. sent4: if that the barbarizing bonfire occurs is right then the buffoonery and the overturning dedication happens. sent5: that the theistness but not the fart occurs is not right. sent6: the fact that the buffoonery happens is not incorrect. sent7: if the buffoonery occurs and the overturning dedication does not occur the barbarizing bonfire does not occur. sent8: the messaging does not occur if that the inclining occurs but the emotionalness does not occur is wrong. sent9: the fart does not occur. sent10: if that the dissemination occurs but the myelography does not occur is not true the grouping woofer does not occur. sent11: if the forgery happens the rh-positiveness and the shavenness happens. sent12: if the fact that the discontinuance but not the barbarizing bonfire happens is not correct then the discontinuance does not occur. sent13: if the buffoonery does not occur then the fact that the barbarizing bonfire does not occur is not false. sent14: the buffoonery and the overturning dedication happens. sent15: if the barbarizing bonfire happens then the buffoonery happens and the overturning dedication does not occur. sent16: if the barbarizing bonfire happens the buffoonery happens. sent17: the grouping woofer happens. sent18: if the demoralization happens the tinting but not the spam occurs. sent19: if the fact that the amauroticness but not the grouping potential happens is not right then the take-up does not occur.
void -> assump2: Let's assume that the barbarizing bonfire happens.; sent15 & assump2 -> int1: the buffoonery but not the overturning dedication occurs.; void -> assump1: Let's assume that the fact that the buffoonery occurs and the overturning dedication does not occur does not hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the barbarizing bonfire does not occur.; [assump1] & int3 -> hypothesis;
the discontinuance does not occur.
$hypothesis$ = the fact that if the fact that the buffoonery but not the overturning dedication occurs is wrong the barbarizing bonfire does not occur is not true. ; $context$ = sent1: the barbarizing bonfire does not occur if the fact that the buffoonery and the overturning dedication occurs is false. sent2: the oatenness happens. sent3: the overturning dedication occurs. sent4: if that the barbarizing bonfire occurs is right then the buffoonery and the overturning dedication happens. sent5: that the theistness but not the fart occurs is not right. sent6: the fact that the buffoonery happens is not incorrect. sent7: if the buffoonery occurs and the overturning dedication does not occur the barbarizing bonfire does not occur. sent8: the messaging does not occur if that the inclining occurs but the emotionalness does not occur is wrong. sent9: the fart does not occur. sent10: if that the dissemination occurs but the myelography does not occur is not true the grouping woofer does not occur. sent11: if the forgery happens the rh-positiveness and the shavenness happens. sent12: if the fact that the discontinuance but not the barbarizing bonfire happens is not correct then the discontinuance does not occur. sent13: if the buffoonery does not occur then the fact that the barbarizing bonfire does not occur is not false. sent14: the buffoonery and the overturning dedication happens. sent15: if the barbarizing bonfire happens then the buffoonery happens and the overturning dedication does not occur. sent16: if the barbarizing bonfire happens the buffoonery happens. sent17: the grouping woofer happens. sent18: if the demoralization happens the tinting but not the spam occurs. sent19: if the fact that the amauroticness but not the grouping potential happens is not right then the take-up does not occur. ; $proof$ = 
void -> assump2: Let's assume that the barbarizing bonfire happens.; sent15 & assump2 -> int1: the buffoonery but not the overturning dedication occurs.; void -> assump1: Let's assume that the fact that the buffoonery occurs and the overturning dedication does not occur does not hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the barbarizing bonfire does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__