the rolling does not occur.
sent1: the impeding danseur does not occur if the erythroidness does not occur. sent2: the fact that that the ravelling does not occur but the diapedesis occurs is incorrect is true. sent3: that the whiz occurs but the refining trifurcation does not occur is incorrect if the erythroidness occurs. sent4: that the colorfulness happens and the impeding danseur does not occur prevents that the rolling occurs. sent5: the boat occurs and the computerization occurs if the Holocaust does not occur. sent6: the outflow happens. sent7: if the fact that the whiz does not occur and the refining trifurcation does not occur does not hold then the refining dodecahedron does not occur. sent8: if the refining trifurcation does not occur then the turbinateness does not occur. sent9: that the illuminating does not occur results in that not the budgeting bandstand but the snicker happens. sent10: if the erythroidness occurs the fact that the whiz does not occur and the refining trifurcation does not occur is wrong. sent11: the impeding Sennett does not occur. sent12: if that the impeding atavist does not occur and the budgeting nine-spot occurs is not true then the fact that the tribalization occurs hold. sent13: the Coleridgianness does not occur if that not the budgeting bandstand but the boating occurs is not wrong. sent14: that the refining trifurcation does not occur or the remitting does not occur or both is triggered by the outflow. sent15: the fact that the illuminating does not occur hold if the humoralness occurs. sent16: if the turbinateness does not occur then the humoralness or the non-unconsciousness or both happens. sent17: that the budgeting Essex occurs is not incorrect. sent18: the ritualism brings about that the Holocaust does not occur and the intermolecularness does not occur. sent19: the inculcation and/or the non-colorfulness is brought about by the tribalization. sent20: the fact that the turbinate does not occur hold if that the remitting does not occur is not incorrect. sent21: that the illuminating occurs is prevented by the consciousness. sent22: the refining dodecahedron occurs. sent23: if the Coleridgianness does not occur then that not the impeding atavist but the budgeting nine-spot happens is not right.
void -> assump1: Let's assume that the erythroidness happens.; sent10 & assump1 -> int1: the fact that the whiz does not occur and the refining trifurcation does not occur does not hold.; int1 & sent7 -> int2: the refining dodecahedron does not occur.; int2 & sent22 -> int3: this is contradiction.; [assump1] & int3 -> int4: the erythroidness does not occur.; int4 & sent1 -> int5: that the impeding danseur does not occur is not wrong.;
the rolling occurs.
sent14 & sent6 -> int6: the refining trifurcation does not occur and/or the remitting does not occur.; int6 & sent8 & sent20 -> int7: the turbinateness does not occur.; sent16 & int7 -> int8: the humoralness occurs or the unconsciousness does not occur or both.; int8 & sent15 & sent21 -> int9: the illuminating does not occur.; sent9 & int9 -> int10: not the budgeting bandstand but the snicker occurs.; int10 -> int11: the budgeting bandstand does not occur.;
$hypothesis$ = the rolling does not occur. ; $context$ = sent1: the impeding danseur does not occur if the erythroidness does not occur. sent2: the fact that that the ravelling does not occur but the diapedesis occurs is incorrect is true. sent3: that the whiz occurs but the refining trifurcation does not occur is incorrect if the erythroidness occurs. sent4: that the colorfulness happens and the impeding danseur does not occur prevents that the rolling occurs. sent5: the boat occurs and the computerization occurs if the Holocaust does not occur. sent6: the outflow happens. sent7: if the fact that the whiz does not occur and the refining trifurcation does not occur does not hold then the refining dodecahedron does not occur. sent8: if the refining trifurcation does not occur then the turbinateness does not occur. sent9: that the illuminating does not occur results in that not the budgeting bandstand but the snicker happens. sent10: if the erythroidness occurs the fact that the whiz does not occur and the refining trifurcation does not occur is wrong. sent11: the impeding Sennett does not occur. sent12: if that the impeding atavist does not occur and the budgeting nine-spot occurs is not true then the fact that the tribalization occurs hold. sent13: the Coleridgianness does not occur if that not the budgeting bandstand but the boating occurs is not wrong. sent14: that the refining trifurcation does not occur or the remitting does not occur or both is triggered by the outflow. sent15: the fact that the illuminating does not occur hold if the humoralness occurs. sent16: if the turbinateness does not occur then the humoralness or the non-unconsciousness or both happens. sent17: that the budgeting Essex occurs is not incorrect. sent18: the ritualism brings about that the Holocaust does not occur and the intermolecularness does not occur. sent19: the inculcation and/or the non-colorfulness is brought about by the tribalization. sent20: the fact that the turbinate does not occur hold if that the remitting does not occur is not incorrect. sent21: that the illuminating occurs is prevented by the consciousness. sent22: the refining dodecahedron occurs. sent23: if the Coleridgianness does not occur then that not the impeding atavist but the budgeting nine-spot happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the erythroidness happens.; sent10 & assump1 -> int1: the fact that the whiz does not occur and the refining trifurcation does not occur does not hold.; int1 & sent7 -> int2: the refining dodecahedron does not occur.; int2 & sent22 -> int3: this is contradiction.; [assump1] & int3 -> int4: the erythroidness does not occur.; int4 & sent1 -> int5: that the impeding danseur does not occur is not wrong.; __UNKNOWN__