if the sophisticating tissue occurs and the delegacy happens then the unbornness does not occur.
sent1: that the riffle occurs and the unpropheticness happens prevents the infanticide. sent2: the unfairness prevents that the asexualness happens. sent3: the streamer and the responsibleness happens. sent4: the non-unbornness is prevented by that the sophisticating tissue and the delegacy happens. sent5: the carrier happens. sent6: that the Masoreticness occurs yields that the sophisticating soapbox does not occur. sent7: the unpropheticness happens. sent8: the umbilical happens and the rack happens. sent9: if the delegacy occurs then the unbornness occurs. sent10: the prodigy occurs. sent11: the unbornness does not occur if the delegacy occurs. sent12: the rewriting Keble does not occur. sent13: the fact that the sophisticating bilocation does not occur is true. sent14: the euphemisticness is prevented by that the delegacy does not occur but the sophisticating tissue happens. sent15: if the shoeshine occurs and the presocraticness occurs the sophisticating cold does not occur. sent16: that both the numeration and the harassment occurs brings about that the carrier does not occur. sent17: the sophisticating tissue happens. sent18: that the rewriting schmeer and the savoring occurs causes that the draping bacon does not occur. sent19: the unbornness happens.
void -> assump1: Let's assume that both the sophisticating tissue and the delegacy happens.; assump1 -> int1: the delegacy occurs.; int1 & sent11 -> int2: the unbornness does not occur.; [assump1] & int2 -> hypothesis;
the euphemisticness does not occur.
$hypothesis$ = if the sophisticating tissue occurs and the delegacy happens then the unbornness does not occur. ; $context$ = sent1: that the riffle occurs and the unpropheticness happens prevents the infanticide. sent2: the unfairness prevents that the asexualness happens. sent3: the streamer and the responsibleness happens. sent4: the non-unbornness is prevented by that the sophisticating tissue and the delegacy happens. sent5: the carrier happens. sent6: that the Masoreticness occurs yields that the sophisticating soapbox does not occur. sent7: the unpropheticness happens. sent8: the umbilical happens and the rack happens. sent9: if the delegacy occurs then the unbornness occurs. sent10: the prodigy occurs. sent11: the unbornness does not occur if the delegacy occurs. sent12: the rewriting Keble does not occur. sent13: the fact that the sophisticating bilocation does not occur is true. sent14: the euphemisticness is prevented by that the delegacy does not occur but the sophisticating tissue happens. sent15: if the shoeshine occurs and the presocraticness occurs the sophisticating cold does not occur. sent16: that both the numeration and the harassment occurs brings about that the carrier does not occur. sent17: the sophisticating tissue happens. sent18: that the rewriting schmeer and the savoring occurs causes that the draping bacon does not occur. sent19: the unbornness happens. ; $proof$ = 
void -> assump1: Let's assume that both the sophisticating tissue and the delegacy happens.; assump1 -> int1: the delegacy occurs.; int1 & sent11 -> int2: the unbornness does not occur.; [assump1] & int2 -> hypothesis; __PROVED__