not the sumo but the microcosmicness occurs.
sent1: the fact that that not the sumo but the microcosmicness occurs does not hold is not false if the elegantness does not occur. sent2: the bat happens. sent3: that the batting happens causes that both the non-cerealness and the colorlessness occurs. sent4: the nativistness is brought about by that the demoting evolutionism happens. sent5: if the respite happens then the demoting impressiveness happens. sent6: if the bradding lagan does not occur the batting does not occur. sent7: the elegantness does not occur if the demoting evolutionism does not occur and the nativistness does not occur. sent8: the microcosmicness occurs. sent9: the fact that the non-thriftiness and the repenting occurs is false if the demoting impressiveness happens. sent10: the colorlessness does not occur if the batting does not occur. sent11: the bacteroidalness does not occur if that the bacteroidalness occurs but the mingling does not occur does not hold. sent12: if the demoting glucoside happens then the fact that the bacteroidalness but not the mingling occurs is incorrect. sent13: the demoting glucoside happens if the fact that the bradding highway does not occur is not wrong. sent14: if the cerealness does not occur and the colorlessness happens the reticulating happens. sent15: both the respite and the bradding fraternization happens if the bacteroidalness does not occur. sent16: the bradding lagan does not occur if that both the non-thriftiness and the repenting occurs is wrong. sent17: the elegantness and the demoting evolutionism occurs. sent18: the nonreticulateness and the cereal happens if the colorlessness does not occur.
sent17 -> int1: the demoting evolutionism happens.; int1 & sent4 -> int2: the nativistness happens.; sent3 & sent2 -> int3: the cerealness does not occur and the colorlessness happens.; sent14 & int3 -> int4: the reticulating occurs.; int2 & int4 -> int5: both the nativistness and the reticulating occurs.;
that the sumo does not occur and the microcosmicness occurs is not right.
$hypothesis$ = not the sumo but the microcosmicness occurs. ; $context$ = sent1: the fact that that not the sumo but the microcosmicness occurs does not hold is not false if the elegantness does not occur. sent2: the bat happens. sent3: that the batting happens causes that both the non-cerealness and the colorlessness occurs. sent4: the nativistness is brought about by that the demoting evolutionism happens. sent5: if the respite happens then the demoting impressiveness happens. sent6: if the bradding lagan does not occur the batting does not occur. sent7: the elegantness does not occur if the demoting evolutionism does not occur and the nativistness does not occur. sent8: the microcosmicness occurs. sent9: the fact that the non-thriftiness and the repenting occurs is false if the demoting impressiveness happens. sent10: the colorlessness does not occur if the batting does not occur. sent11: the bacteroidalness does not occur if that the bacteroidalness occurs but the mingling does not occur does not hold. sent12: if the demoting glucoside happens then the fact that the bacteroidalness but not the mingling occurs is incorrect. sent13: the demoting glucoside happens if the fact that the bradding highway does not occur is not wrong. sent14: if the cerealness does not occur and the colorlessness happens the reticulating happens. sent15: both the respite and the bradding fraternization happens if the bacteroidalness does not occur. sent16: the bradding lagan does not occur if that both the non-thriftiness and the repenting occurs is wrong. sent17: the elegantness and the demoting evolutionism occurs. sent18: the nonreticulateness and the cereal happens if the colorlessness does not occur. ; $proof$ = 
sent17 -> int1: the demoting evolutionism happens.; int1 & sent4 -> int2: the nativistness happens.; sent3 & sent2 -> int3: the cerealness does not occur and the colorlessness happens.; sent14 & int3 -> int4: the reticulating occurs.; int2 & int4 -> int5: both the nativistness and the reticulating occurs.; __UNKNOWN__