that the territoriality does not occur and/or the Ebioniteness happens is not correct if the piecing charnel occurs.
sent1: that the piecing enforcement does not occur yields that not the scuffing pollen but the intermezzo occurs. sent2: if the piecing charnel occurs then the fact that either the territoriality happens or the Ebioniteness happens or both is wrong. sent3: the reshipment happens. sent4: the territoriality does not occur or the Ebioniteness happens or both. sent5: the fact that both the scuffing pollen and the intermezzo happens is wrong if the piecing pajama does not occur. sent6: that the piecing enforcement does not occur is not incorrect. sent7: if the piecing pajama does not occur then the fact that the scuffing pollen does not occur but the intermezzo happens is not correct. sent8: the scuffing pollen does not occur if the piecing enforcement does not occur. sent9: the jacking does not occur if both the piecing pajama and the piecing charnel occurs. sent10: if the jacks does not occur the petalousness does not occur. sent11: if the petalousness does not occur that the territoriality does not occur and/or the Ebioniteness happens is not right.
void -> assump1: Let's assume that the piecing pajama does not occur.; sent7 & assump1 -> int1: that the scuffing pollen does not occur but the intermezzo occurs is not true.; sent1 & sent6 -> int2: not the scuffing pollen but the intermezzo occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the piecing pajama happens.; void -> assump2: Let's assume that the piecing charnel happens.; int4 & assump2 -> int5: the piecing pajama and the piecing charnel happens.; int5 & sent9 -> int6: the fact that the jacking does not occur is right.; int6 & sent10 -> int7: the petalousness does not occur.; int7 & sent11 -> int8: that the territoriality does not occur or the Ebioniteness happens or both is not right.; [assump2] & int8 -> hypothesis;
$hypothesis$ = that the territoriality does not occur and/or the Ebioniteness happens is not correct if the piecing charnel occurs. ; $context$ = sent1: that the piecing enforcement does not occur yields that not the scuffing pollen but the intermezzo occurs. sent2: if the piecing charnel occurs then the fact that either the territoriality happens or the Ebioniteness happens or both is wrong. sent3: the reshipment happens. sent4: the territoriality does not occur or the Ebioniteness happens or both. sent5: the fact that both the scuffing pollen and the intermezzo happens is wrong if the piecing pajama does not occur. sent6: that the piecing enforcement does not occur is not incorrect. sent7: if the piecing pajama does not occur then the fact that the scuffing pollen does not occur but the intermezzo happens is not correct. sent8: the scuffing pollen does not occur if the piecing enforcement does not occur. sent9: the jacking does not occur if both the piecing pajama and the piecing charnel occurs. sent10: if the jacks does not occur the petalousness does not occur. sent11: if the petalousness does not occur that the territoriality does not occur and/or the Ebioniteness happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the piecing pajama does not occur.; sent7 & assump1 -> int1: that the scuffing pollen does not occur but the intermezzo occurs is not true.; sent1 & sent6 -> int2: not the scuffing pollen but the intermezzo occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the piecing pajama happens.; void -> assump2: Let's assume that the piecing charnel happens.; int4 & assump2 -> int5: the piecing pajama and the piecing charnel happens.; int5 & sent9 -> int6: the fact that the jacking does not occur is right.; int6 & sent10 -> int7: the petalousness does not occur.; int7 & sent11 -> int8: that the territoriality does not occur or the Ebioniteness happens or both is not right.; [assump2] & int8 -> hypothesis; __PROVED__