the stall does not occur and the dink does not occur.
sent1: that the scalding uremia happens and the bespangling Bend happens is wrong. sent2: that the tongue happens hold. sent3: both the tongue and the vesiculating happens. sent4: if the prenatalness occurs the vesiculating does not occur. sent5: the dink does not occur if the bespangling Bend happens. sent6: the fact that if the bespangling Cocus does not occur the stalling does not occur is right. sent7: if the postponement occurs then that the scalding uremia occurs and the bespangling Bend happens does not hold. sent8: the fact that both the vestmentalness and the pronouncing happens does not hold if the exteriorness occurs. sent9: the dink does not occur if that the scalding uremia but not the bespangling Bend happens is not correct. sent10: if the postponement occurs that the scalding uremia but not the bespangling Bend happens is wrong. sent11: the mot does not occur and the anathema does not occur. sent12: that that the prenatalness does not occur is brought about by that the stalling but not the vesiculating occurs is not false. sent13: the postponement happens. sent14: the vesiculating does not occur if the bespangling Cocus and/or the prenatalness happens.
void -> assump1: Let's assume that that the bespangling Cocus occurs is right.; assump1 -> int1: either the bespangling Cocus or the prenatalness or both happens.; int1 & sent14 -> int2: the vesiculating does not occur.; sent3 -> int3: the vesiculating happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the bespangling Cocus does not occur.; int5 & sent6 -> int6: the stall does not occur.; sent10 & sent13 -> int7: that the scalding uremia but not the bespangling Bend occurs does not hold.; sent9 & int7 -> int8: the dink does not occur.; int6 & int8 -> hypothesis;
that the stalling does not occur and the dink does not occur is incorrect.
 -> hypothesis;
$hypothesis$ = the stall does not occur and the dink does not occur. ; $context$ = sent1: that the scalding uremia happens and the bespangling Bend happens is wrong. sent2: that the tongue happens hold. sent3: both the tongue and the vesiculating happens. sent4: if the prenatalness occurs the vesiculating does not occur. sent5: the dink does not occur if the bespangling Bend happens. sent6: the fact that if the bespangling Cocus does not occur the stalling does not occur is right. sent7: if the postponement occurs then that the scalding uremia occurs and the bespangling Bend happens does not hold. sent8: the fact that both the vestmentalness and the pronouncing happens does not hold if the exteriorness occurs. sent9: the dink does not occur if that the scalding uremia but not the bespangling Bend happens is not correct. sent10: if the postponement occurs that the scalding uremia but not the bespangling Bend happens is wrong. sent11: the mot does not occur and the anathema does not occur. sent12: that that the prenatalness does not occur is brought about by that the stalling but not the vesiculating occurs is not false. sent13: the postponement happens. sent14: the vesiculating does not occur if the bespangling Cocus and/or the prenatalness happens. ; $proof$ = 
void -> assump1: Let's assume that that the bespangling Cocus occurs is right.; assump1 -> int1: either the bespangling Cocus or the prenatalness or both happens.; int1 & sent14 -> int2: the vesiculating does not occur.; sent3 -> int3: the vesiculating happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the bespangling Cocus does not occur.; int5 & sent6 -> int6: the stall does not occur.; sent10 & sent13 -> int7: that the scalding uremia but not the bespangling Bend occurs does not hold.; sent9 & int7 -> int8: the dink does not occur.; int6 & int8 -> hypothesis; __PROVED__