not the guggling hereditarianism but the apologizing happens.
sent1: if the sale does not occur the fact that the broadness occurs and the inversion occurs is not correct. sent2: that the sale and the non-broadness happens is wrong. sent3: the craps occurs. sent4: the upness happens or the guggling belching does not occur or both. sent5: the banishment occurs if the fact that the sale but not the broad happens is false. sent6: the guggling hereditarianism does not occur if that the guggling hereditarianism occurs and the inversion occurs is wrong. sent7: the duckpins happens. sent8: the banishment happens if the broadness occurs. sent9: the upping happens. sent10: the predestining minster does not occur if the defibrillation and the banishment happens. sent11: that the leaping Amaranthus does not occur and the phoneticness does not occur is brought about by the duckpins. sent12: the cockney happens and the defibrillation occurs if the banishment does not occur. sent13: the fact that the guggling hereditarianism occurs and the inversion happens is false. sent14: that not the predestining minster but the guggling machilid happens results in that the apologizing occurs. sent15: the apologizing does not occur and the guggling hereditarianism does not occur if the duckpins does not occur. sent16: that the leaping Amaranthus does not occur and the phoneticness does not occur does not hold if the defibrillation does not occur.
void -> assump1: Let's assume that the defibrillation does not occur.; sent16 & assump1 -> int1: the fact that the leaping Amaranthus does not occur and the phoneticness does not occur is not correct.; sent11 & sent7 -> int2: the leaping Amaranthus does not occur and the phoneticness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the defibrillation happens.; sent5 & sent2 -> int5: the banishment occurs.; int4 & int5 -> int6: the defibrillation happens and the banishment occurs.; int6 & sent10 -> int7: the predestining minster does not occur.; sent6 & sent13 -> int8: the guggling hereditarianism does not occur.;
the cockney occurs.
$hypothesis$ = not the guggling hereditarianism but the apologizing happens. ; $context$ = sent1: if the sale does not occur the fact that the broadness occurs and the inversion occurs is not correct. sent2: that the sale and the non-broadness happens is wrong. sent3: the craps occurs. sent4: the upness happens or the guggling belching does not occur or both. sent5: the banishment occurs if the fact that the sale but not the broad happens is false. sent6: the guggling hereditarianism does not occur if that the guggling hereditarianism occurs and the inversion occurs is wrong. sent7: the duckpins happens. sent8: the banishment happens if the broadness occurs. sent9: the upping happens. sent10: the predestining minster does not occur if the defibrillation and the banishment happens. sent11: that the leaping Amaranthus does not occur and the phoneticness does not occur is brought about by the duckpins. sent12: the cockney happens and the defibrillation occurs if the banishment does not occur. sent13: the fact that the guggling hereditarianism occurs and the inversion happens is false. sent14: that not the predestining minster but the guggling machilid happens results in that the apologizing occurs. sent15: the apologizing does not occur and the guggling hereditarianism does not occur if the duckpins does not occur. sent16: that the leaping Amaranthus does not occur and the phoneticness does not occur does not hold if the defibrillation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the defibrillation does not occur.; sent16 & assump1 -> int1: the fact that the leaping Amaranthus does not occur and the phoneticness does not occur is not correct.; sent11 & sent7 -> int2: the leaping Amaranthus does not occur and the phoneticness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the defibrillation happens.; sent5 & sent2 -> int5: the banishment occurs.; int4 & int5 -> int6: the defibrillation happens and the banishment occurs.; int6 & sent10 -> int7: the predestining minster does not occur.; sent6 & sent13 -> int8: the guggling hereditarianism does not occur.; __UNKNOWN__