the workshop but not the stalk happens.
sent1: the stalk does not occur. sent2: if the longitudinalness occurs the stalk does not occur and the workshop does not occur. sent3: the BAN does not occur. sent4: the shrinkage happens if the heuristicness happens. sent5: that the breakaway does not occur and the metier does not occur is not wrong. sent6: the non-elfinness is triggered by that the BAN occurs but the balk does not occur. sent7: the fact that the slogging Centre happens is true. sent8: the shrinkage does not occur. sent9: if the theologizing does not occur the stalk does not occur. sent10: the BAN happens if the balk happens. sent11: the dominant occurs if the swoosh does not occur. sent12: the Providence does not occur. sent13: the petrissage occurs. sent14: if the theologizing does not occur the workshop happens but the stalk does not occur. sent15: the slogging commercialization does not occur if the balk does not occur but the BAN occurs. sent16: if the ridding tocsin does not occur and/or the swoosh does not occur the longitudinalness happens. sent17: the booking wishbone does not occur. sent18: the hitching does not occur. sent19: the booking AAA does not occur. sent20: the theologizing does not occur if the Nauruanness does not occur. sent21: the procrastination occurs. sent22: the flyover occurs. sent23: the prolongation does not occur. sent24: that the balk does not occur and the booking CRT does not occur prevents that the Nauruan occurs. sent25: the booking CRT does not occur.
void -> assump1: Let's assume that that the balk happens is not incorrect.; sent10 & assump1 -> int1: the BAN happens.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the balk does not occur.; int3 & sent25 -> int4: the balk does not occur and the booking CRT does not occur.; int4 & sent24 -> int5: the Nauruan does not occur.; int5 & sent20 -> int6: the theologizing does not occur.; int6 & sent14 -> hypothesis;
the elfinness does not occur.
$hypothesis$ = the workshop but not the stalk happens. ; $context$ = sent1: the stalk does not occur. sent2: if the longitudinalness occurs the stalk does not occur and the workshop does not occur. sent3: the BAN does not occur. sent4: the shrinkage happens if the heuristicness happens. sent5: that the breakaway does not occur and the metier does not occur is not wrong. sent6: the non-elfinness is triggered by that the BAN occurs but the balk does not occur. sent7: the fact that the slogging Centre happens is true. sent8: the shrinkage does not occur. sent9: if the theologizing does not occur the stalk does not occur. sent10: the BAN happens if the balk happens. sent11: the dominant occurs if the swoosh does not occur. sent12: the Providence does not occur. sent13: the petrissage occurs. sent14: if the theologizing does not occur the workshop happens but the stalk does not occur. sent15: the slogging commercialization does not occur if the balk does not occur but the BAN occurs. sent16: if the ridding tocsin does not occur and/or the swoosh does not occur the longitudinalness happens. sent17: the booking wishbone does not occur. sent18: the hitching does not occur. sent19: the booking AAA does not occur. sent20: the theologizing does not occur if the Nauruanness does not occur. sent21: the procrastination occurs. sent22: the flyover occurs. sent23: the prolongation does not occur. sent24: that the balk does not occur and the booking CRT does not occur prevents that the Nauruan occurs. sent25: the booking CRT does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the balk happens is not incorrect.; sent10 & assump1 -> int1: the BAN happens.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the balk does not occur.; int3 & sent25 -> int4: the balk does not occur and the booking CRT does not occur.; int4 & sent24 -> int5: the Nauruan does not occur.; int5 & sent20 -> int6: the theologizing does not occur.; int6 & sent14 -> hypothesis; __PROVED__