if the saddling does not occur the theophany does not occur.
sent1: if the brooming liqueur occurs then the fact that the saddle occurs is correct. sent2: that the bestrewing potshot occurs is prevented by that the outage does not occur. sent3: the permeation does not occur. sent4: the fact that the ctenoidness and the brooming liqueur occurs is not true. sent5: that the elementalness does not occur triggers that the barnburner does not occur. sent6: the saddling happens if that the ctenoidness but not the brooming liqueur occurs is false. sent7: if the ctenoidness happens and the brooming liqueur happens then that the encrimsoning builder does not occur is right. sent8: that the encrimsoning builder does not occur is brought about by that the ctenoidness happens and the brooming liqueur does not occur. sent9: that the brooming liqueur does not occur is not wrong. sent10: the brooming aircraft occurs and the rabbinate does not occur. sent11: the conformistness does not occur. sent12: the brooming shipmate does not occur if the tarriance happens and/or the continent happens. sent13: the theophany happens. sent14: the tarriance happens or the continent happens or both if the fact that the encrimsoning builder does not occur is true. sent15: the willing does not occur. sent16: the brooming shipmate does not occur if the tarriance happens. sent17: if the saddling does not occur then the theophany happens. sent18: the theophany occurs if the brooming shipmate does not occur. sent19: that the theophany happens is prevented by that the brooming shipmate does not occur. sent20: that the sumo happens is prevented by that the encrimsoning Lanthanotidae but not the homing happens. sent21: that the humanitarianness happens is prevented by that the brooming ticking does not occur. sent22: the landslide does not occur. sent23: the confiding does not occur.
void -> assump2: Let's assume that the fact that the ctenoidness happens but the brooming liqueur does not occur is not true.; sent6 & assump2 -> int1: the saddle happens.; void -> assump1: Let's assume that the saddle does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the ctenoidness happens but the brooming liqueur does not occur.; sent8 & int3 -> int4: the encrimsoning builder does not occur.; sent14 & int4 -> int5: the tarriance and/or the continentness occurs.; sent12 & int5 -> int6: the brooming shipmate does not occur.; sent19 & int6 -> int7: the theophany does not occur.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the saddling does not occur the theophany does not occur. ; $context$ = sent1: if the brooming liqueur occurs then the fact that the saddle occurs is correct. sent2: that the bestrewing potshot occurs is prevented by that the outage does not occur. sent3: the permeation does not occur. sent4: the fact that the ctenoidness and the brooming liqueur occurs is not true. sent5: that the elementalness does not occur triggers that the barnburner does not occur. sent6: the saddling happens if that the ctenoidness but not the brooming liqueur occurs is false. sent7: if the ctenoidness happens and the brooming liqueur happens then that the encrimsoning builder does not occur is right. sent8: that the encrimsoning builder does not occur is brought about by that the ctenoidness happens and the brooming liqueur does not occur. sent9: that the brooming liqueur does not occur is not wrong. sent10: the brooming aircraft occurs and the rabbinate does not occur. sent11: the conformistness does not occur. sent12: the brooming shipmate does not occur if the tarriance happens and/or the continent happens. sent13: the theophany happens. sent14: the tarriance happens or the continent happens or both if the fact that the encrimsoning builder does not occur is true. sent15: the willing does not occur. sent16: the brooming shipmate does not occur if the tarriance happens. sent17: if the saddling does not occur then the theophany happens. sent18: the theophany occurs if the brooming shipmate does not occur. sent19: that the theophany happens is prevented by that the brooming shipmate does not occur. sent20: that the sumo happens is prevented by that the encrimsoning Lanthanotidae but not the homing happens. sent21: that the humanitarianness happens is prevented by that the brooming ticking does not occur. sent22: the landslide does not occur. sent23: the confiding does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fact that the ctenoidness happens but the brooming liqueur does not occur is not true.; sent6 & assump2 -> int1: the saddle happens.; void -> assump1: Let's assume that the saddle does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the ctenoidness happens but the brooming liqueur does not occur.; sent8 & int3 -> int4: the encrimsoning builder does not occur.; sent14 & int4 -> int5: the tarriance and/or the continentness occurs.; sent12 & int5 -> int6: the brooming shipmate does not occur.; sent19 & int6 -> int7: the theophany does not occur.; [assump1] & int7 -> hypothesis; __PROVED__