the pound happens but the bender does not occur.
sent1: the fact that that not the incalculableness but the washing happens does not hold hold. sent2: if the Uzbekistaniness does not occur then the fact that that the blunder does not occur but the entericness occurs is not true hold. sent3: the Uzbekistaniness does not occur. sent4: the nutation does not occur. sent5: if that not the blunder but the entericness happens is incorrect then the reheating tiebreaker occurs. sent6: the fact that the adducentness does not occur hold. sent7: if the fact that the nutation does not occur is not wrong then the pounding happens and the insufflating superorder happens. sent8: that the reheating coast happens hold. sent9: that the pounding but not the bender occurs does not hold if the entericness does not occur. sent10: the noncombustibleness but not the reheating tiebreaker occurs if the bender occurs. sent11: the obligating occurs. sent12: the dermatologicness and the entericness happens. sent13: that not the expurgation but the assignation happens is not right. sent14: the slur happens if that not the demur but the pilosebaceousness happens is not right.
void -> assump1: Let's assume that the bender happens.; sent10 & assump1 -> int1: the noncombustibleness happens and the reheating tiebreaker does not occur.; int1 -> int2: the reheating tiebreaker does not occur.; sent2 & sent3 -> int3: that not the blunder but the entericness occurs is not true.; sent5 & int3 -> int4: the reheating tiebreaker occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the bender does not occur is not false.; sent7 & sent4 -> int7: the pounding happens and the insufflating superorder happens.; int7 -> int8: the pound happens.; int6 & int8 -> hypothesis;
the fact that the pound but not the bender happens is wrong.
$hypothesis$ = the pound happens but the bender does not occur. ; $context$ = sent1: the fact that that not the incalculableness but the washing happens does not hold hold. sent2: if the Uzbekistaniness does not occur then the fact that that the blunder does not occur but the entericness occurs is not true hold. sent3: the Uzbekistaniness does not occur. sent4: the nutation does not occur. sent5: if that not the blunder but the entericness happens is incorrect then the reheating tiebreaker occurs. sent6: the fact that the adducentness does not occur hold. sent7: if the fact that the nutation does not occur is not wrong then the pounding happens and the insufflating superorder happens. sent8: that the reheating coast happens hold. sent9: that the pounding but not the bender occurs does not hold if the entericness does not occur. sent10: the noncombustibleness but not the reheating tiebreaker occurs if the bender occurs. sent11: the obligating occurs. sent12: the dermatologicness and the entericness happens. sent13: that not the expurgation but the assignation happens is not right. sent14: the slur happens if that not the demur but the pilosebaceousness happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the bender happens.; sent10 & assump1 -> int1: the noncombustibleness happens and the reheating tiebreaker does not occur.; int1 -> int2: the reheating tiebreaker does not occur.; sent2 & sent3 -> int3: that not the blunder but the entericness occurs is not true.; sent5 & int3 -> int4: the reheating tiebreaker occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the bender does not occur is not false.; sent7 & sent4 -> int7: the pounding happens and the insufflating superorder happens.; int7 -> int8: the pound happens.; int6 & int8 -> hypothesis; __PROVED__