either the alluvialness or the undiplomaticness or both occurs.
sent1: that the covertness does not occur is caused by that the suiting happens. sent2: that the joinery but not the imperiousness occurs prevents the non-multidimensionalness. sent3: the undiplomaticness occurs if the bismuthalness happens. sent4: if the way does not occur either the palatalizing Merckx happens or the clipping occurs or both. sent5: the non-pyrrhicness leads to that the haunting and the covertness occurs. sent6: the pyrrhic does not occur. sent7: that the jacketing lacteal does not occur is prevented by the clipping. sent8: the bus but not the way occurs. sent9: the cartwheeling is brought about by the ignoring waterfall. sent10: the suiting does not occur if the fact that that both the bismuthalness and the suiting happens is true is not true. sent11: that the jacketing lacteal happens is correct if the palatalizing Merckx occurs. sent12: if the jacketing lacteal but not the ignoring waterfall occurs the bismuthalness occurs.
void -> assump1: Let's assume that the ignoring waterfall occurs.; sent9 & assump1 -> int1: the cartwheeling occurs.; int1 -> int2: the suit happens or the cartwheel occurs or both.; sent5 & sent6 -> int3: the haunt occurs and the covertness occurs.; int3 -> int4: the covertness occurs.; sent8 -> int5: the fact that the way does not occur hold.; sent4 & int5 -> int6: the palatalizing Merckx happens and/or the clipping occurs.; int6 & sent11 & sent7 -> int7: the jacketing lacteal happens.;
the fact that the doublesness or the communicativeness or both happens hold.
$hypothesis$ = either the alluvialness or the undiplomaticness or both occurs. ; $context$ = sent1: that the covertness does not occur is caused by that the suiting happens. sent2: that the joinery but not the imperiousness occurs prevents the non-multidimensionalness. sent3: the undiplomaticness occurs if the bismuthalness happens. sent4: if the way does not occur either the palatalizing Merckx happens or the clipping occurs or both. sent5: the non-pyrrhicness leads to that the haunting and the covertness occurs. sent6: the pyrrhic does not occur. sent7: that the jacketing lacteal does not occur is prevented by the clipping. sent8: the bus but not the way occurs. sent9: the cartwheeling is brought about by the ignoring waterfall. sent10: the suiting does not occur if the fact that that both the bismuthalness and the suiting happens is true is not true. sent11: that the jacketing lacteal happens is correct if the palatalizing Merckx occurs. sent12: if the jacketing lacteal but not the ignoring waterfall occurs the bismuthalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the ignoring waterfall occurs.; sent9 & assump1 -> int1: the cartwheeling occurs.; int1 -> int2: the suit happens or the cartwheel occurs or both.; sent5 & sent6 -> int3: the haunt occurs and the covertness occurs.; int3 -> int4: the covertness occurs.; sent8 -> int5: the fact that the way does not occur hold.; sent4 & int5 -> int6: the palatalizing Merckx happens and/or the clipping occurs.; int6 & sent11 & sent7 -> int7: the jacketing lacteal happens.; __UNKNOWN__