the union occurs or the effacing cloveroot does not occur or both.
sent1: if the effacing worn occurs the nonaddictiveness happens. sent2: the cataphaticness does not occur if the azoness or the nonaddictiveness or both happens. sent3: that either the refresher happens or the shimmy does not occur or both is incorrect if the cataphaticness does not occur. sent4: the womanliness happens. sent5: that the effacing worn does not occur causes that the credulousness does not occur and the peripteralness does not occur. sent6: if the womanliness occurs the fact that both the incredulousness and the non-peripteralness happens is not true. sent7: the fact that the menstruating sloucher occurs or the bacteremicness does not occur or both is not correct. sent8: the tuning happens.
void -> assump1: Let's assume that the effacing worn does not occur.; sent5 & assump1 -> int1: the credulousness does not occur and the peripteralness does not occur.; sent6 & sent4 -> int2: that the incredulousness and the non-peripteralness happens is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the effacing worn happens.; int4 & sent1 -> int5: the nonaddictiveness happens.; int5 -> int6: the azoness occurs and/or the nonaddictiveness occurs.; int6 & sent2 -> int7: the cataphaticness does not occur.; int7 & sent3 -> int8: that the refresher happens and/or the shimmy does not occur is false.;
the fact that the menstruating sloucher occurs or the bacteremicness does not occur or both is not correct.
 -> hypothesis;
$hypothesis$ = the union occurs or the effacing cloveroot does not occur or both. ; $context$ = sent1: if the effacing worn occurs the nonaddictiveness happens. sent2: the cataphaticness does not occur if the azoness or the nonaddictiveness or both happens. sent3: that either the refresher happens or the shimmy does not occur or both is incorrect if the cataphaticness does not occur. sent4: the womanliness happens. sent5: that the effacing worn does not occur causes that the credulousness does not occur and the peripteralness does not occur. sent6: if the womanliness occurs the fact that both the incredulousness and the non-peripteralness happens is not true. sent7: the fact that the menstruating sloucher occurs or the bacteremicness does not occur or both is not correct. sent8: the tuning happens. ; $proof$ = 
void -> assump1: Let's assume that the effacing worn does not occur.; sent5 & assump1 -> int1: the credulousness does not occur and the peripteralness does not occur.; sent6 & sent4 -> int2: that the incredulousness and the non-peripteralness happens is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the effacing worn happens.; int4 & sent1 -> int5: the nonaddictiveness happens.; int5 -> int6: the azoness occurs and/or the nonaddictiveness occurs.; int6 & sent2 -> int7: the cataphaticness does not occur.; int7 & sent3 -> int8: that the refresher happens and/or the shimmy does not occur is false.; __UNKNOWN__