the Eucharisticness happens if the Freudian occurs.
sent1: the freesianess happens. sent2: the Carthusianness occurs if the tingeing sealant happens. sent3: that the ascomycetousness occurs hold if the bowing flannelbush happens. sent4: the aborting happens if the preceptorship happens. sent5: the conchology happens if the modality happens. sent6: the bowing Dari occurs if the implacableness occurs. sent7: if the upgrading pusillanimity happens then the effortfulness happens. sent8: that the Freudian happens prevents that the tingeing leaf-roller does not occur. sent9: that the tingeing leaf-roller occurs prevents the non-Eucharisticness. sent10: if the econometricsness occurs the insatiateness happens. sent11: the tingeing Bokmal occurs. sent12: that the conventionalization happens is caused by the myopathicness. sent13: if the bowing Dari happens the laicizing occurs. sent14: if the bowing masjid occurs then the recognition happens. sent15: the endoergicness occurs if the viaticalness occurs. sent16: the nonarborealness happens. sent17: if the euphoniousness occurs then the tingeing small happens. sent18: the tingeing nightcap happens if the appeasement happens.
void -> assump1: Let's assume that the Freudianness happens.; sent8 & assump1 -> int1: the tingeing leaf-roller happens.; int1 & sent9 -> int2: the Eucharisticness occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the Eucharisticness happens if the Freudian occurs. ; $context$ = sent1: the freesianess happens. sent2: the Carthusianness occurs if the tingeing sealant happens. sent3: that the ascomycetousness occurs hold if the bowing flannelbush happens. sent4: the aborting happens if the preceptorship happens. sent5: the conchology happens if the modality happens. sent6: the bowing Dari occurs if the implacableness occurs. sent7: if the upgrading pusillanimity happens then the effortfulness happens. sent8: that the Freudian happens prevents that the tingeing leaf-roller does not occur. sent9: that the tingeing leaf-roller occurs prevents the non-Eucharisticness. sent10: if the econometricsness occurs the insatiateness happens. sent11: the tingeing Bokmal occurs. sent12: that the conventionalization happens is caused by the myopathicness. sent13: if the bowing Dari happens the laicizing occurs. sent14: if the bowing masjid occurs then the recognition happens. sent15: the endoergicness occurs if the viaticalness occurs. sent16: the nonarborealness happens. sent17: if the euphoniousness occurs then the tingeing small happens. sent18: the tingeing nightcap happens if the appeasement happens. ; $proof$ = 
void -> assump1: Let's assume that the Freudianness happens.; sent8 & assump1 -> int1: the tingeing leaf-roller happens.; int1 & sent9 -> int2: the Eucharisticness occurs.; [assump1] & int2 -> hypothesis; __PROVED__