the shuttingness happens.
sent1: the humanization does not occur. sent2: the defalcation does not occur and the short does not occur. sent3: the gonging alcoholism does not occur if that not the communication but the dropping happens does not hold. sent4: the awarding and the gonging alcoholism occurs if the poling grosz does not occur. sent5: if the defalcation happens that the rheologicness does not occur is not wrong. sent6: if the communication does not occur and the drop occurs the gonging light does not occur. sent7: that that the humanization does not occur and the defalcation does not occur is not true if the gonging light does not occur hold. sent8: if the gonging alcoholism does not occur then the fact that the poling grosz and the award happens is not true. sent9: if that the poling grosz occurs and the award occurs is false the shuttingness does not occur. sent10: the conversion but not the short happens. sent11: if that that the defalcation does not occur and the shuttingness does not occur hold is not correct then that the shuttingness occurs hold.
void -> assump1: Let's assume that the communication does not occur and the dropping happens.; sent6 & assump1 -> int1: the gonging light does not occur.; int1 & sent7 -> int2: that the humanization does not occur and the defalcation does not occur is incorrect.; sent2 -> int3: the defalcation does not occur.; sent1 & int3 -> int4: the humanization does not occur and the defalcation does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the communication does not occur and the dropping occurs does not hold.; int6 & sent3 -> int7: the gonging alcoholism does not occur.; int7 & sent8 -> int8: the fact that both the poling grosz and the award happens is not correct.; int8 & sent9 -> hypothesis;
the fact that the rheologicness does not occur is not wrong.
sent10 -> int9: the short does not occur.;
$hypothesis$ = the shuttingness happens. ; $context$ = sent1: the humanization does not occur. sent2: the defalcation does not occur and the short does not occur. sent3: the gonging alcoholism does not occur if that not the communication but the dropping happens does not hold. sent4: the awarding and the gonging alcoholism occurs if the poling grosz does not occur. sent5: if the defalcation happens that the rheologicness does not occur is not wrong. sent6: if the communication does not occur and the drop occurs the gonging light does not occur. sent7: that that the humanization does not occur and the defalcation does not occur is not true if the gonging light does not occur hold. sent8: if the gonging alcoholism does not occur then the fact that the poling grosz and the award happens is not true. sent9: if that the poling grosz occurs and the award occurs is false the shuttingness does not occur. sent10: the conversion but not the short happens. sent11: if that that the defalcation does not occur and the shuttingness does not occur hold is not correct then that the shuttingness occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the communication does not occur and the dropping happens.; sent6 & assump1 -> int1: the gonging light does not occur.; int1 & sent7 -> int2: that the humanization does not occur and the defalcation does not occur is incorrect.; sent2 -> int3: the defalcation does not occur.; sent1 & int3 -> int4: the humanization does not occur and the defalcation does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the communication does not occur and the dropping occurs does not hold.; int6 & sent3 -> int7: the gonging alcoholism does not occur.; int7 & sent8 -> int8: the fact that both the poling grosz and the award happens is not correct.; int8 & sent9 -> hypothesis; __DISPROVED__