if the slicing dingbat does not occur then either the slicing belching does not occur or the fingerprinting containerful does not occur or both.
sent1: either the slicing belching does not occur or the fingerprinting containerful happens or both. sent2: the fingerprinting containerful does not occur if the pelvicness and the prudentness occurs. sent3: the clemency does not occur if the fact that not the salamandriformness but the premenopausalness occurs is incorrect. sent4: the circumstances results in that the Rousseauanness does not occur. sent5: if the clemency does not occur the slicing dingbat happens. sent6: the pelvicness happens and the oviparousness occurs. sent7: the fact that the forecasting does not occur and/or the vandalism happens hold. sent8: if the non-salamandriformness and the premenopausalness occurs the slicing belching does not occur. sent9: both the slicing belching and the clemency occurs if the fingerprinting containerful does not occur. sent10: the clemency does not occur if the salamandriformness occurs. sent11: that the seedlessness does not occur and the slicing dingbat does not occur is triggered by that the clemency occurs.
void -> assump2: Let's assume that that the salamandriformness does not occur and the premenopausalness happens is not correct.; sent3 & assump2 -> int1: the clemency does not occur.; sent5 & int1 -> int2: the slicing dingbat occurs.; void -> assump1: Let's assume that the slicing dingbat does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: not the salamandriformness but the premenopausalness happens.; sent8 & int4 -> int5: the slicing belching does not occur.; int5 -> int6: the slicing belching does not occur or the fingerprinting containerful does not occur or both.; [assump1] & int6 -> hypothesis;
the fact that the seedlessness does not occur is not incorrect.
sent6 -> int7: the pelvicness occurs.;
$hypothesis$ = if the slicing dingbat does not occur then either the slicing belching does not occur or the fingerprinting containerful does not occur or both. ; $context$ = sent1: either the slicing belching does not occur or the fingerprinting containerful happens or both. sent2: the fingerprinting containerful does not occur if the pelvicness and the prudentness occurs. sent3: the clemency does not occur if the fact that not the salamandriformness but the premenopausalness occurs is incorrect. sent4: the circumstances results in that the Rousseauanness does not occur. sent5: if the clemency does not occur the slicing dingbat happens. sent6: the pelvicness happens and the oviparousness occurs. sent7: the fact that the forecasting does not occur and/or the vandalism happens hold. sent8: if the non-salamandriformness and the premenopausalness occurs the slicing belching does not occur. sent9: both the slicing belching and the clemency occurs if the fingerprinting containerful does not occur. sent10: the clemency does not occur if the salamandriformness occurs. sent11: that the seedlessness does not occur and the slicing dingbat does not occur is triggered by that the clemency occurs. ; $proof$ = 
void -> assump2: Let's assume that that the salamandriformness does not occur and the premenopausalness happens is not correct.; sent3 & assump2 -> int1: the clemency does not occur.; sent5 & int1 -> int2: the slicing dingbat occurs.; void -> assump1: Let's assume that the slicing dingbat does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: not the salamandriformness but the premenopausalness happens.; sent8 & int4 -> int5: the slicing belching does not occur.; int5 -> int6: the slicing belching does not occur or the fingerprinting containerful does not occur or both.; [assump1] & int6 -> hypothesis; __PROVED__