the fact that if the fact that the ergotropicness does not occur is incorrect the fact that the anabioticness does not occur and the hill does not occur is not correct does not hold.
sent1: if the shortsness does not occur and the imparting proteosome does not occur then the sleeping plonk occurs. sent2: if the sleeping plonk happens then that the anabioticness does not occur and the hilling does not occur is false. sent3: the politicalness does not occur if that the nay occurs and the ergotropicness does not occur does not hold. sent4: if the politicalness does not occur the summating happens. sent5: the fact that the dinging elaphure happens but the emerging does not occur is incorrect if the nay does not occur. sent6: that the shortsness does not occur and the imparting proteosome does not occur is triggered by that the summating occurs.
void -> assump1: Let's assume that the ergotropicness occurs.; void -> assump2: Let's assume that both the nay and the non-ergotropicness occurs.; assump2 -> int1: the ergotropicness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the nay happens but the ergotropicness does not occur is not correct.; sent3 & int3 -> int4: the politicalness does not occur.; sent4 & int4 -> int5: the summating occurs.; sent6 & int5 -> int6: the shorts does not occur and the imparting proteosome does not occur.; sent1 & int6 -> int7: the sleeping plonk happens.; sent2 & int7 -> int8: that the anabioticness does not occur and the hill does not occur is incorrect.; [assump1] & int8 -> hypothesis;
that the fact that the dinging elaphure but not the emerging occurs is right is incorrect.
$hypothesis$ = the fact that if the fact that the ergotropicness does not occur is incorrect the fact that the anabioticness does not occur and the hill does not occur is not correct does not hold. ; $context$ = sent1: if the shortsness does not occur and the imparting proteosome does not occur then the sleeping plonk occurs. sent2: if the sleeping plonk happens then that the anabioticness does not occur and the hilling does not occur is false. sent3: the politicalness does not occur if that the nay occurs and the ergotropicness does not occur does not hold. sent4: if the politicalness does not occur the summating happens. sent5: the fact that the dinging elaphure happens but the emerging does not occur is incorrect if the nay does not occur. sent6: that the shortsness does not occur and the imparting proteosome does not occur is triggered by that the summating occurs. ; $proof$ = 
void -> assump1: Let's assume that the ergotropicness occurs.; void -> assump2: Let's assume that both the nay and the non-ergotropicness occurs.; assump2 -> int1: the ergotropicness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the nay happens but the ergotropicness does not occur is not correct.; sent3 & int3 -> int4: the politicalness does not occur.; sent4 & int4 -> int5: the summating occurs.; sent6 & int5 -> int6: the shorts does not occur and the imparting proteosome does not occur.; sent1 & int6 -> int7: the sleeping plonk happens.; sent2 & int7 -> int8: that the anabioticness does not occur and the hill does not occur is incorrect.; [assump1] & int8 -> hypothesis; __DISPROVED__