the mark does not occur and the defaulting stout occurs.
sent1: that the bivariateness does not occur results in that not the mark but the defaulting stout occurs. sent2: the spinning happens. sent3: the birdnesting does not occur or the splashiness does not occur or both if the eventuality occurs. sent4: if the stipulating occurs the freight does not occur. sent5: if the defaulting sexism happens then the smattering happens. sent6: the defaulting stout occurs. sent7: that the sashay and the check-in occurs is false. sent8: the stoloniferousness does not occur. sent9: the bivariateness does not occur if that the sashay occurs and the check-in does not occur is not correct. sent10: the hajj happens if the fact that the transitionalness happens hold. sent11: the non-fanciness leads to that the clip-clop does not occur and the receipting happens. sent12: the pleuralness occurs. sent13: that the hajj occurs is prevented by that the spinning and the birdnesting occurs. sent14: the birdnesting occurs. sent15: that the transitionalness does not occur is prevented by the sashay. sent16: the eventuality happens if the occurrence does not occur. sent17: the occurrence does not occur.
void -> assump1: Let's assume that the sashay but not the check-in occurs.; assump1 -> int1: the sashay happens.; int1 & sent15 -> int2: that the transitionalness happens hold.; int2 & sent10 -> int3: the hajj happens.; sent2 & sent14 -> int4: both the spin and the birdnesting happens.; sent13 & int4 -> int5: the fact that the hajj does not occur is true.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the sashay happens but the check-in does not occur does not hold.; int7 & sent9 -> int8: the fact that the bivariateness does not occur is true.; int8 & sent1 -> hypothesis;
the fact that not the marking but the defaulting stout occurs is false.
sent16 & sent17 -> int9: the fact that the eventuality occurs hold.; sent3 & int9 -> int10: the birdnesting does not occur or the splashiness does not occur or both.;
$hypothesis$ = the mark does not occur and the defaulting stout occurs. ; $context$ = sent1: that the bivariateness does not occur results in that not the mark but the defaulting stout occurs. sent2: the spinning happens. sent3: the birdnesting does not occur or the splashiness does not occur or both if the eventuality occurs. sent4: if the stipulating occurs the freight does not occur. sent5: if the defaulting sexism happens then the smattering happens. sent6: the defaulting stout occurs. sent7: that the sashay and the check-in occurs is false. sent8: the stoloniferousness does not occur. sent9: the bivariateness does not occur if that the sashay occurs and the check-in does not occur is not correct. sent10: the hajj happens if the fact that the transitionalness happens hold. sent11: the non-fanciness leads to that the clip-clop does not occur and the receipting happens. sent12: the pleuralness occurs. sent13: that the hajj occurs is prevented by that the spinning and the birdnesting occurs. sent14: the birdnesting occurs. sent15: that the transitionalness does not occur is prevented by the sashay. sent16: the eventuality happens if the occurrence does not occur. sent17: the occurrence does not occur. ; $proof$ = 
void -> assump1: Let's assume that the sashay but not the check-in occurs.; assump1 -> int1: the sashay happens.; int1 & sent15 -> int2: that the transitionalness happens hold.; int2 & sent10 -> int3: the hajj happens.; sent2 & sent14 -> int4: both the spin and the birdnesting happens.; sent13 & int4 -> int5: the fact that the hajj does not occur is true.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the sashay happens but the check-in does not occur does not hold.; int7 & sent9 -> int8: the fact that the bivariateness does not occur is true.; int8 & sent1 -> hypothesis; __PROVED__