the bottling happens.
sent1: if the kill does not occur the horizontal does not occur. sent2: the non-Paleozoicness and the signing viand occurs. sent3: if the non-horizontalness and the companying seigneury happens then the bottling happens. sent4: if the fact that the hagiolatry but not the roughlegness happens is incorrect then the Balticness does not occur. sent5: if the companying nosebleed does not occur then that the rockslide and the unpunctualness occurs does not hold. sent6: the Icelandicness does not occur. sent7: the non-exotericness and the impressiveness occurs. sent8: the isomorphousness does not occur. sent9: that the clear-cutting happens hold. sent10: if that the companying nosebleed and the non-hemiparasiticness happens is not right the kill does not occur. sent11: that the fact that the companying nosebleed but not the hemiparasiticness happens is wrong if the rockslide does not occur is not false. sent12: that that the unexpendableness does not occur but the ruckling happens hold is brought about by that the companying blastopore does not occur. sent13: if the killing does not occur then both the non-horizontalness and the companying seigneury occurs. sent14: that both the non-exotericness and the non-unimpressiveness happens triggers the non-unpunctualness. sent15: the companying Delilah does not occur. sent16: if the equalness does not occur the fact that the variable happens and the acting happens is not right. sent17: the rockslide leads to that the unpunctualness occurs.
void -> assump1: Let's assume that that the rockslide happens hold.; sent17 & assump1 -> int1: the unpunctualness occurs.; sent14 & sent7 -> int2: the unpunctualness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the rockslide does not occur.; int4 & sent11 -> int5: the fact that both the companying nosebleed and the non-hemiparasiticness occurs does not hold.; int5 & sent10 -> int6: that the kill does not occur is not incorrect.; int6 & sent13 -> int7: both the non-horizontalness and the companying seigneury happens.; int7 & sent3 -> hypothesis;
the bottling does not occur.
$hypothesis$ = the bottling happens. ; $context$ = sent1: if the kill does not occur the horizontal does not occur. sent2: the non-Paleozoicness and the signing viand occurs. sent3: if the non-horizontalness and the companying seigneury happens then the bottling happens. sent4: if the fact that the hagiolatry but not the roughlegness happens is incorrect then the Balticness does not occur. sent5: if the companying nosebleed does not occur then that the rockslide and the unpunctualness occurs does not hold. sent6: the Icelandicness does not occur. sent7: the non-exotericness and the impressiveness occurs. sent8: the isomorphousness does not occur. sent9: that the clear-cutting happens hold. sent10: if that the companying nosebleed and the non-hemiparasiticness happens is not right the kill does not occur. sent11: that the fact that the companying nosebleed but not the hemiparasiticness happens is wrong if the rockslide does not occur is not false. sent12: that that the unexpendableness does not occur but the ruckling happens hold is brought about by that the companying blastopore does not occur. sent13: if the killing does not occur then both the non-horizontalness and the companying seigneury occurs. sent14: that both the non-exotericness and the non-unimpressiveness happens triggers the non-unpunctualness. sent15: the companying Delilah does not occur. sent16: if the equalness does not occur the fact that the variable happens and the acting happens is not right. sent17: the rockslide leads to that the unpunctualness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the rockslide happens hold.; sent17 & assump1 -> int1: the unpunctualness occurs.; sent14 & sent7 -> int2: the unpunctualness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the rockslide does not occur.; int4 & sent11 -> int5: the fact that both the companying nosebleed and the non-hemiparasiticness occurs does not hold.; int5 & sent10 -> int6: that the kill does not occur is not incorrect.; int6 & sent13 -> int7: both the non-horizontalness and the companying seigneury happens.; int7 & sent3 -> hypothesis; __PROVED__