the siding teleost does not occur but the refining Duma happens.
sent1: if that the siding node does not occur and the mayoralness does not occur is not true the refining Duma happens. sent2: the budgeting Cathartidae does not occur. sent3: the fact that if the fact that the trip does not occur and the chronicness does not occur does not hold the siding teleost does not occur is not false. sent4: that the siding node does not occur and the mayoralness does not occur is not true if the Waterloo occurs. sent5: if the malversation does not occur that the onomasticness does not occur and the impeding Commelinidae does not occur is wrong. sent6: the fact that that the siding node happens but the mayoralness does not occur is not correct if the Waterloo occurs is not false. sent7: that the tripping and the non-chronicness happens does not hold. sent8: that both the non-upness and the impeding sugi occurs is not true. sent9: the non-neurogenicness and the non-fearfulness occurs. sent10: the Waterloo happens. sent11: that that the impeding homeobox does not occur and the hyperemicness does not occur does not hold hold if the refining stillness does not occur. sent12: if the fact that the Chase does not occur and the siding campaigning does not occur does not hold then the joggle does not occur. sent13: the Yuman happens. sent14: the allomorphicness happens. sent15: if the tripping does not occur that the fact that both the non-neurogenicness and the non-fearfulness happens is not right is true. sent16: that the impeding heathfowl does not occur and the siding vocabulary does not occur is incorrect.
void -> assump1: Let's assume that the trip does not occur and the chronicness does not occur.; assump1 -> int1: the trip does not occur.; int1 & sent15 -> int2: that the non-neurogenicness and the non-fearfulness happens does not hold.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the trip does not occur and the chronicness does not occur is incorrect.; int4 & sent3 -> int5: the siding teleost does not occur.; sent4 & sent10 -> int6: that the siding node does not occur and the mayoralness does not occur does not hold.; sent1 & int6 -> int7: the refining Duma occurs.; int5 & int7 -> hypothesis;
$hypothesis$ = the siding teleost does not occur but the refining Duma happens. ; $context$ = sent1: if that the siding node does not occur and the mayoralness does not occur is not true the refining Duma happens. sent2: the budgeting Cathartidae does not occur. sent3: the fact that if the fact that the trip does not occur and the chronicness does not occur does not hold the siding teleost does not occur is not false. sent4: that the siding node does not occur and the mayoralness does not occur is not true if the Waterloo occurs. sent5: if the malversation does not occur that the onomasticness does not occur and the impeding Commelinidae does not occur is wrong. sent6: the fact that that the siding node happens but the mayoralness does not occur is not correct if the Waterloo occurs is not false. sent7: that the tripping and the non-chronicness happens does not hold. sent8: that both the non-upness and the impeding sugi occurs is not true. sent9: the non-neurogenicness and the non-fearfulness occurs. sent10: the Waterloo happens. sent11: that that the impeding homeobox does not occur and the hyperemicness does not occur does not hold hold if the refining stillness does not occur. sent12: if the fact that the Chase does not occur and the siding campaigning does not occur does not hold then the joggle does not occur. sent13: the Yuman happens. sent14: the allomorphicness happens. sent15: if the tripping does not occur that the fact that both the non-neurogenicness and the non-fearfulness happens is not right is true. sent16: that the impeding heathfowl does not occur and the siding vocabulary does not occur is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the trip does not occur and the chronicness does not occur.; assump1 -> int1: the trip does not occur.; int1 & sent15 -> int2: that the non-neurogenicness and the non-fearfulness happens does not hold.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the trip does not occur and the chronicness does not occur is incorrect.; int4 & sent3 -> int5: the siding teleost does not occur.; sent4 & sent10 -> int6: that the siding node does not occur and the mayoralness does not occur does not hold.; sent1 & int6 -> int7: the refining Duma occurs.; int5 & int7 -> hypothesis; __PROVED__