the fact that that the Mauritanian happens is caused by the integrating curette is not right.
sent1: that the overburdening sensing does not occur and the mystifying greylag does not occur is triggered by the non-Episcopalness. sent2: if the rush happens then the integrating denigration occurs. sent3: the Mauritanianness occurs if the fact that the aurifying but not the entr'acte occurs does not hold. sent4: that the aurifying but not the entr'acte occurs triggers that the integrating curette does not occur. sent5: the Episcopalness does not occur if the instrumenting dika occurs and the instrumenting Kwakiutl does not occur. sent6: the greening happens. sent7: that the integrating curette occurs is true if the fact that the aurifying but not the entr'acte happens is true. sent8: the airworthiness occurs. sent9: if the integrating denigration happens that the Mauritanianness does not occur and the integrating curette does not occur is not true. sent10: the aurifying happens. sent11: the paperwork does not occur. sent12: that the overburdening sensing does not occur brings about that both the rush and the mystifying Phalangium occurs. sent13: the seediness occurs if that the Mauritanian does not occur and the integrating curette does not occur is wrong.
void -> assump1: Let's assume that the integrating curette occurs.; void -> assump2: Let's assume that the aurifying but not the entr'acte occurs.; sent4 & assump2 -> int1: the integrating curette does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the aurifying but not the entr'acte happens does not hold.; sent3 & int3 -> int4: the Mauritanianness happens.; [assump1] & int4 -> hypothesis;
the seediness occurs.
$hypothesis$ = the fact that that the Mauritanian happens is caused by the integrating curette is not right. ; $context$ = sent1: that the overburdening sensing does not occur and the mystifying greylag does not occur is triggered by the non-Episcopalness. sent2: if the rush happens then the integrating denigration occurs. sent3: the Mauritanianness occurs if the fact that the aurifying but not the entr'acte occurs does not hold. sent4: that the aurifying but not the entr'acte occurs triggers that the integrating curette does not occur. sent5: the Episcopalness does not occur if the instrumenting dika occurs and the instrumenting Kwakiutl does not occur. sent6: the greening happens. sent7: that the integrating curette occurs is true if the fact that the aurifying but not the entr'acte happens is true. sent8: the airworthiness occurs. sent9: if the integrating denigration happens that the Mauritanianness does not occur and the integrating curette does not occur is not true. sent10: the aurifying happens. sent11: the paperwork does not occur. sent12: that the overburdening sensing does not occur brings about that both the rush and the mystifying Phalangium occurs. sent13: the seediness occurs if that the Mauritanian does not occur and the integrating curette does not occur is wrong. ; $proof$ = 
void -> assump1: Let's assume that the integrating curette occurs.; void -> assump2: Let's assume that the aurifying but not the entr'acte occurs.; sent4 & assump2 -> int1: the integrating curette does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the aurifying but not the entr'acte happens does not hold.; sent3 & int3 -> int4: the Mauritanianness happens.; [assump1] & int4 -> hypothesis; __DISPROVED__