that the Shona occurs is not incorrect.
sent1: the plucking occurs. sent2: if the subdividing rule does not occur the autocatalyticness and the Shonaness happens. sent3: the manhood does not occur. sent4: that the ciliate occurs hold. sent5: the cervicalness happens if the fact that the non-Shonaness and the non-cervicalness happens is not true. sent6: the autocatalyticness does not occur. sent7: the dunning constitutionalism results in that not the subdividing rule but the dunning trudge occurs. sent8: if the Shona happens the autocatalyticness happens. sent9: the rulership does not occur.
void -> assump1: Let's assume that the Shona occurs.; sent8 & assump1 -> int1: the autocatalyticness happens.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the cervicalness occurs.
$hypothesis$ = that the Shona occurs is not incorrect. ; $context$ = sent1: the plucking occurs. sent2: if the subdividing rule does not occur the autocatalyticness and the Shonaness happens. sent3: the manhood does not occur. sent4: that the ciliate occurs hold. sent5: the cervicalness happens if the fact that the non-Shonaness and the non-cervicalness happens is not true. sent6: the autocatalyticness does not occur. sent7: the dunning constitutionalism results in that not the subdividing rule but the dunning trudge occurs. sent8: if the Shona happens the autocatalyticness happens. sent9: the rulership does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Shona occurs.; sent8 & assump1 -> int1: the autocatalyticness happens.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__