the reordering does not occur.
sent1: the shape-up occurs if the optimization happens. sent2: that the catechism occurs and the record does not occur is false. sent3: if the cuneiform occurs then the allocation happens. sent4: if the allocation does not occur but the swoosh occurs the cuneiformness does not occur. sent5: the miscarrying slammer does not occur. sent6: the reigning Crangon does not occur. sent7: that the reigning Scandinavian and the miscarrying slammer happens does not hold. sent8: if that the optimization but not the configurationalness occurs is wrong the cuneiform occurs. sent9: if the fact that the substantivalness but not the feud occurs is not right then that the superhumanness occurs is not wrong. sent10: if the smashing diaphragm happens then that the reigning Scandinavian but not the miscarrying slammer happens is false. sent11: the smashing diaphragm happens if the configurationalness does not occur. sent12: that the swoosh but not the staling eccentric occurs prevents the reordering. sent13: the zooming and the non-intuitionistness happens. sent14: the swoosh happens if that the allocation occurs is not incorrect. sent15: the thumping occurs. sent16: the fact that the reigning Scandinavian occurs and the miscarrying slammer occurs is false if the smashing diaphragm occurs. sent17: the optimization occurs. sent18: that the smashing diaphragm does not occur yields the optimization and/or the configurationalness. sent19: the staling eccentric does not occur. sent20: the optimization occurs if that the configurationalness occurs is not wrong. sent21: if the optimization does not occur then the cuneiform happens.
void -> assump1: Let's assume that the optimization occurs and the configurationalness does not occur.; assump1 -> int1: the configurationalness does not occur.; int1 & sent11 -> int2: the smashing diaphragm happens.; int2 & sent10 -> int3: the fact that the reigning Scandinavian but not the miscarrying slammer occurs does not hold.;
the reordering occurs.
$hypothesis$ = the reordering does not occur. ; $context$ = sent1: the shape-up occurs if the optimization happens. sent2: that the catechism occurs and the record does not occur is false. sent3: if the cuneiform occurs then the allocation happens. sent4: if the allocation does not occur but the swoosh occurs the cuneiformness does not occur. sent5: the miscarrying slammer does not occur. sent6: the reigning Crangon does not occur. sent7: that the reigning Scandinavian and the miscarrying slammer happens does not hold. sent8: if that the optimization but not the configurationalness occurs is wrong the cuneiform occurs. sent9: if the fact that the substantivalness but not the feud occurs is not right then that the superhumanness occurs is not wrong. sent10: if the smashing diaphragm happens then that the reigning Scandinavian but not the miscarrying slammer happens is false. sent11: the smashing diaphragm happens if the configurationalness does not occur. sent12: that the swoosh but not the staling eccentric occurs prevents the reordering. sent13: the zooming and the non-intuitionistness happens. sent14: the swoosh happens if that the allocation occurs is not incorrect. sent15: the thumping occurs. sent16: the fact that the reigning Scandinavian occurs and the miscarrying slammer occurs is false if the smashing diaphragm occurs. sent17: the optimization occurs. sent18: that the smashing diaphragm does not occur yields the optimization and/or the configurationalness. sent19: the staling eccentric does not occur. sent20: the optimization occurs if that the configurationalness occurs is not wrong. sent21: if the optimization does not occur then the cuneiform happens. ; $proof$ = 
void -> assump1: Let's assume that the optimization occurs and the configurationalness does not occur.; assump1 -> int1: the configurationalness does not occur.; int1 & sent11 -> int2: the smashing diaphragm happens.; int2 & sent10 -> int3: the fact that the reigning Scandinavian but not the miscarrying slammer occurs does not hold.; __UNKNOWN__