the progressing does not occur.
sent1: the heterosexism does not occur if the scaleneness does not occur and the scalding does not occur. sent2: if that the technical does not occur and the laboring environmentalism does not occur hold then the immaterialness does not occur. sent3: that the sensationalness does not occur and the disservice occurs brings about that the rehabilitating nineties does not occur. sent4: the rehabilitating flatiron happens if the progress happens but the postwarness does not occur. sent5: if that the progress does not occur and the rehabilitating flatiron does not occur is not correct the progress occurs. sent6: that the disservice does not occur causes that the spending hang-up does not occur and the rehabilitating nineties does not occur. sent7: that if the spending hang-up does not occur the postwarness happens and the rehabilitating flatiron happens is not incorrect. sent8: the progressing happens if the postwarness happens. sent9: if both the laboring environmentalism and the non-technicalness happens then the immaterialness does not occur. sent10: if the sepulchralness occurs then both the scaleneness and the non-photoelectricness happens. sent11: that the heterosexism does not occur triggers that both the laboring environmentalism and the counterrevolution occurs. sent12: if that the postwarness occurs hold that the progressing does not occur and the rehabilitating flatiron does not occur is incorrect. sent13: the non-immaterialness yields that the unsensationalness and the disservice occurs. sent14: that the disservice does not occur and the sensationalness does not occur is triggered by that the immaterialness does not occur. sent15: the rehabilitating nineties happens. sent16: if the rehabilitating nineties happens the spending hang-up happens. sent17: the postwarness does not occur. sent18: that the spending hang-up happens is correct.
void -> assump1: Let's assume that the progress occurs.; assump1 & sent17 -> int1: the progress and the non-postwarness happens.; int1 & sent4 -> int2: the rehabilitating flatiron occurs.;
the progressing occurs.
$hypothesis$ = the progressing does not occur. ; $context$ = sent1: the heterosexism does not occur if the scaleneness does not occur and the scalding does not occur. sent2: if that the technical does not occur and the laboring environmentalism does not occur hold then the immaterialness does not occur. sent3: that the sensationalness does not occur and the disservice occurs brings about that the rehabilitating nineties does not occur. sent4: the rehabilitating flatiron happens if the progress happens but the postwarness does not occur. sent5: if that the progress does not occur and the rehabilitating flatiron does not occur is not correct the progress occurs. sent6: that the disservice does not occur causes that the spending hang-up does not occur and the rehabilitating nineties does not occur. sent7: that if the spending hang-up does not occur the postwarness happens and the rehabilitating flatiron happens is not incorrect. sent8: the progressing happens if the postwarness happens. sent9: if both the laboring environmentalism and the non-technicalness happens then the immaterialness does not occur. sent10: if the sepulchralness occurs then both the scaleneness and the non-photoelectricness happens. sent11: that the heterosexism does not occur triggers that both the laboring environmentalism and the counterrevolution occurs. sent12: if that the postwarness occurs hold that the progressing does not occur and the rehabilitating flatiron does not occur is incorrect. sent13: the non-immaterialness yields that the unsensationalness and the disservice occurs. sent14: that the disservice does not occur and the sensationalness does not occur is triggered by that the immaterialness does not occur. sent15: the rehabilitating nineties happens. sent16: if the rehabilitating nineties happens the spending hang-up happens. sent17: the postwarness does not occur. sent18: that the spending hang-up happens is correct. ; $proof$ = 
void -> assump1: Let's assume that the progress occurs.; assump1 & sent17 -> int1: the progress and the non-postwarness happens.; int1 & sent4 -> int2: the rehabilitating flatiron occurs.; __UNKNOWN__