the fact that the discourtesy does not occur but the cluing buffet occurs does not hold.
sent1: the tectonicsness or that the cephalicness occurs or both results in that the confinement does not occur. sent2: that the bracteateness and the suspending hieratic happens is wrong if the salamandriformness does not occur. sent3: the squatting Costanoan happens or the tender happens or both. sent4: that the confinement does not occur and the notching oropharynx does not occur does not hold if the wave happens. sent5: the tender results in the confinement. sent6: that the cloudiness occurs and the squatting Costanoan occurs is wrong if the squintiness does not occur. sent7: if the fact that that the confinement does not occur and the notching oropharynx does not occur is not correct is correct then the cephalicness does not occur. sent8: the fact that the verdict does not occur is correct. sent9: the fact that not the discourtesy but the cluing buffet occurs does not hold if the waving does not occur. sent10: the electricalness does not occur. sent11: if the squatting Costanoan happens then the confinement happens. sent12: the barbecuing does not occur if the fact that the Constitution happens is true. sent13: if either the discourtesy does not occur or the cephalicness does not occur or both the discourtesy does not occur. sent14: if the fulfillment does not occur that not the easement but the notching synthetic happens is not right. sent15: if that both the cloudiness and the squatting Costanoan occurs is false then the squatting Costanoan does not occur. sent16: if the tectonicsness does not occur then the notching oropharynx happens and the wave does not occur.
void -> assump1: Let's assume that the tectonicsness occurs.; assump1 -> int1: either the tectonicsness happens or the cephalicness occurs or both.; int1 & sent1 -> int2: the confinement does not occur.; sent3 & sent11 & sent5 -> int3: the confinement occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tectonicsness does not occur.; int5 & sent16 -> int6: the notching oropharynx but not the wave occurs.; int6 -> int7: the wave does not occur.; int7 & sent9 -> hypothesis;
the discourtesy does not occur and the cluing buffet occurs.
$hypothesis$ = the fact that the discourtesy does not occur but the cluing buffet occurs does not hold. ; $context$ = sent1: the tectonicsness or that the cephalicness occurs or both results in that the confinement does not occur. sent2: that the bracteateness and the suspending hieratic happens is wrong if the salamandriformness does not occur. sent3: the squatting Costanoan happens or the tender happens or both. sent4: that the confinement does not occur and the notching oropharynx does not occur does not hold if the wave happens. sent5: the tender results in the confinement. sent6: that the cloudiness occurs and the squatting Costanoan occurs is wrong if the squintiness does not occur. sent7: if the fact that that the confinement does not occur and the notching oropharynx does not occur is not correct is correct then the cephalicness does not occur. sent8: the fact that the verdict does not occur is correct. sent9: the fact that not the discourtesy but the cluing buffet occurs does not hold if the waving does not occur. sent10: the electricalness does not occur. sent11: if the squatting Costanoan happens then the confinement happens. sent12: the barbecuing does not occur if the fact that the Constitution happens is true. sent13: if either the discourtesy does not occur or the cephalicness does not occur or both the discourtesy does not occur. sent14: if the fulfillment does not occur that not the easement but the notching synthetic happens is not right. sent15: if that both the cloudiness and the squatting Costanoan occurs is false then the squatting Costanoan does not occur. sent16: if the tectonicsness does not occur then the notching oropharynx happens and the wave does not occur. ; $proof$ = 
void -> assump1: Let's assume that the tectonicsness occurs.; assump1 -> int1: either the tectonicsness happens or the cephalicness occurs or both.; int1 & sent1 -> int2: the confinement does not occur.; sent3 & sent11 & sent5 -> int3: the confinement occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tectonicsness does not occur.; int5 & sent16 -> int6: the notching oropharynx but not the wave occurs.; int6 -> int7: the wave does not occur.; int7 & sent9 -> hypothesis; __PROVED__