if the analphabeticness occurs then the fact that the duster does not occur and the bobbing does not occur is incorrect.
sent1: if the ballet happens the fact that the auscultation does not occur and the etymologicalness does not occur is wrong. sent2: the runup does not occur and the wiring does not occur. sent3: that if the nones happens the dabbing hydrologist does not occur and the nonexplosiveness does not occur is true. sent4: the Peloponnesianness does not occur. sent5: if the flatness does not occur both the scissoring abrachia and the bathe happens. sent6: the charlatanism does not occur. sent7: that the compromising Mitchum does not occur is right if that the preparing boldness but not the struggle happens is correct. sent8: the fact that the factoring does not occur and the preparing Devi does not occur is false. sent9: the fact that both the non-horticulturalness and the epilation occurs is not correct. sent10: that the duster does not occur and the bobbing happens causes the non-analphabeticness. sent11: the regicide does not occur if the preparing midrib does not occur. sent12: the smacker occurs. sent13: the ballottement does not occur. sent14: the fact that the compromising Phalacrocoracidae does not occur and the spying does not occur is false. sent15: if the preparing Speer happens the dabbing slap happens. sent16: the flatness does not occur and the auscultation does not occur if the dabbing slap occurs. sent17: the preparing decrepitation does not occur and the blastoporalness does not occur. sent18: if the scissoring abrachia occurs the analphabeticness happens and the preparing midrib does not occur. sent19: that the auscultation and the non-Semiticness occurs is not true. sent20: that the duster but not the bob occurs prevents the analphabeticness. sent21: the non-analphabeticness is brought about by that the duster does not occur and the bobbing does not occur.
void -> assump1: Let's assume that the duster does not occur and the bobbing does not occur.; sent21 & assump1 -> int1: that the analphabeticness does not occur hold.; void -> assump2: Let's assume that the analphabeticness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the duster does not occur and the bobbing does not occur is wrong.; [assump2] & int3 -> hypothesis;
the regicide does not occur.
$hypothesis$ = if the analphabeticness occurs then the fact that the duster does not occur and the bobbing does not occur is incorrect. ; $context$ = sent1: if the ballet happens the fact that the auscultation does not occur and the etymologicalness does not occur is wrong. sent2: the runup does not occur and the wiring does not occur. sent3: that if the nones happens the dabbing hydrologist does not occur and the nonexplosiveness does not occur is true. sent4: the Peloponnesianness does not occur. sent5: if the flatness does not occur both the scissoring abrachia and the bathe happens. sent6: the charlatanism does not occur. sent7: that the compromising Mitchum does not occur is right if that the preparing boldness but not the struggle happens is correct. sent8: the fact that the factoring does not occur and the preparing Devi does not occur is false. sent9: the fact that both the non-horticulturalness and the epilation occurs is not correct. sent10: that the duster does not occur and the bobbing happens causes the non-analphabeticness. sent11: the regicide does not occur if the preparing midrib does not occur. sent12: the smacker occurs. sent13: the ballottement does not occur. sent14: the fact that the compromising Phalacrocoracidae does not occur and the spying does not occur is false. sent15: if the preparing Speer happens the dabbing slap happens. sent16: the flatness does not occur and the auscultation does not occur if the dabbing slap occurs. sent17: the preparing decrepitation does not occur and the blastoporalness does not occur. sent18: if the scissoring abrachia occurs the analphabeticness happens and the preparing midrib does not occur. sent19: that the auscultation and the non-Semiticness occurs is not true. sent20: that the duster but not the bob occurs prevents the analphabeticness. sent21: the non-analphabeticness is brought about by that the duster does not occur and the bobbing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the duster does not occur and the bobbing does not occur.; sent21 & assump1 -> int1: that the analphabeticness does not occur hold.; void -> assump2: Let's assume that the analphabeticness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the duster does not occur and the bobbing does not occur is wrong.; [assump2] & int3 -> hypothesis; __PROVED__