the magic occurs.
sent1: the coeducation happens. sent2: if the sniffing interphone does not occur that the circumnavigation happens and the staccatoness occurs is wrong. sent3: that the Ball happens yields that the boisterousness does not occur and the commemoration does not occur. sent4: that the sniffing interphone does not occur is not incorrect if the fact that either the emptying abhorrer does not occur or the ballooning does not occur or both is wrong. sent5: if the fact that the aftness occurs hold the consolidating name happens. sent6: the cellularness happens. sent7: the fact that if the emptying bologram happens that the bacchanticness but not the magic happens is not correct hold. sent8: that the staccatoness occurs brings about that the magic happens. sent9: the emptying revelation happens. sent10: if that the circumnavigation and the staccatoness happens does not hold then the staccatoness does not occur. sent11: the scouting tulipwood happens. sent12: the bacchanticness happens. sent13: that the bacchanticness and the non-aftness happens triggers the staccatoness. sent14: if the coeducation occurs then the consolidating name occurs. sent15: the coeducation does not occur if both the emptying revelation and the aftness occurs. sent16: that the bacchanticness does not occur brings about that the coeducation happens and/or the aftness. sent17: if the boisterousness does not occur the fact that the emptying abhorrer does not occur and/or the ballooning does not occur is false.
void -> assump1: Let's assume that the aftness happens.; sent9 & assump1 -> int1: the emptying revelation occurs and the aftness occurs.; int1 & sent15 -> int2: the coeducation does not occur.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the aftness does not occur.; int4 & sent12 -> int5: the bacchanticness but not the aftness happens.; int5 & sent13 -> int6: the staccatoness occurs.; int6 & sent8 -> hypothesis;
both the nonaddictiveness and the consolidating name occurs.
$hypothesis$ = the magic occurs. ; $context$ = sent1: the coeducation happens. sent2: if the sniffing interphone does not occur that the circumnavigation happens and the staccatoness occurs is wrong. sent3: that the Ball happens yields that the boisterousness does not occur and the commemoration does not occur. sent4: that the sniffing interphone does not occur is not incorrect if the fact that either the emptying abhorrer does not occur or the ballooning does not occur or both is wrong. sent5: if the fact that the aftness occurs hold the consolidating name happens. sent6: the cellularness happens. sent7: the fact that if the emptying bologram happens that the bacchanticness but not the magic happens is not correct hold. sent8: that the staccatoness occurs brings about that the magic happens. sent9: the emptying revelation happens. sent10: if that the circumnavigation and the staccatoness happens does not hold then the staccatoness does not occur. sent11: the scouting tulipwood happens. sent12: the bacchanticness happens. sent13: that the bacchanticness and the non-aftness happens triggers the staccatoness. sent14: if the coeducation occurs then the consolidating name occurs. sent15: the coeducation does not occur if both the emptying revelation and the aftness occurs. sent16: that the bacchanticness does not occur brings about that the coeducation happens and/or the aftness. sent17: if the boisterousness does not occur the fact that the emptying abhorrer does not occur and/or the ballooning does not occur is false. ; $proof$ = 
void -> assump1: Let's assume that the aftness happens.; sent9 & assump1 -> int1: the emptying revelation occurs and the aftness occurs.; int1 & sent15 -> int2: the coeducation does not occur.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the aftness does not occur.; int4 & sent12 -> int5: the bacchanticness but not the aftness happens.; int5 & sent13 -> int6: the staccatoness occurs.; int6 & sent8 -> hypothesis; __PROVED__