the backedness happens.
sent1: if the decantation does not occur the fact that the tumble happens and the backed occurs is not true. sent2: the Laotianness occurs. sent3: the refresher is brought about by that the squiring streamliner happens. sent4: that the squiring homonym occurs is brought about by the Coptic. sent5: that the charades happens is prevented by that the tumble does not occur. sent6: if the fact that the fact that the squiring streamliner occurs and the refresher occurs is incorrect is not incorrect then the fact that the refresher does not occur hold. sent7: the enumeration does not occur. sent8: if the squiring homonym happens then the microbialness happens. sent9: if the refresher does not occur both the tumbling and the decantation occurs. sent10: the tumble brings about the charades. sent11: the microbialness does not occur. sent12: if the charades does not occur then that both the squiring homonym and the non-microbialness happens is incorrect. sent13: if the enumeration does not occur then the squiring streamliner occurs and/or the replicating myriad happens. sent14: the entr'acte prevents the non-Copticness. sent15: if the squiring castigation occurs then the Crusade occurs. sent16: that both the squiring streamliner and the refresher occurs is incorrect. sent17: if the charades does not occur then the squiring homonym does not occur and the microbialness does not occur. sent18: the replicating plasmablast causes the entr'acte. sent19: that the entr'acte but not the replicating plasmablast occurs prevents that the betrayal occurs. sent20: if the refresher happens then not the tumbling but the decantation happens. sent21: if the replicating plasmablast does not occur and the charades happens the backing occurs.
void -> assump1: Let's assume that the replicating plasmablast happens.; sent18 & assump1 -> int1: the entr'acte happens.; int1 & sent14 -> int2: the Copticness occurs.; int2 & sent4 -> int3: the squiring homonym occurs.; int3 & sent8 -> int4: the microbialness happens.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the replicating plasmablast does not occur.; sent6 & sent16 -> int7: that the refresher occurs does not hold.; sent9 & int7 -> int8: that the tumbling and the decantation occurs is not incorrect.; int8 -> int9: the tumbling occurs.; sent10 & int9 -> int10: the charades occurs.; int6 & int10 -> int11: the replicating plasmablast does not occur but the charades happens.; int11 & sent21 -> hypothesis;
the betrayal does not occur.
$hypothesis$ = the backedness happens. ; $context$ = sent1: if the decantation does not occur the fact that the tumble happens and the backed occurs is not true. sent2: the Laotianness occurs. sent3: the refresher is brought about by that the squiring streamliner happens. sent4: that the squiring homonym occurs is brought about by the Coptic. sent5: that the charades happens is prevented by that the tumble does not occur. sent6: if the fact that the fact that the squiring streamliner occurs and the refresher occurs is incorrect is not incorrect then the fact that the refresher does not occur hold. sent7: the enumeration does not occur. sent8: if the squiring homonym happens then the microbialness happens. sent9: if the refresher does not occur both the tumbling and the decantation occurs. sent10: the tumble brings about the charades. sent11: the microbialness does not occur. sent12: if the charades does not occur then that both the squiring homonym and the non-microbialness happens is incorrect. sent13: if the enumeration does not occur then the squiring streamliner occurs and/or the replicating myriad happens. sent14: the entr'acte prevents the non-Copticness. sent15: if the squiring castigation occurs then the Crusade occurs. sent16: that both the squiring streamliner and the refresher occurs is incorrect. sent17: if the charades does not occur then the squiring homonym does not occur and the microbialness does not occur. sent18: the replicating plasmablast causes the entr'acte. sent19: that the entr'acte but not the replicating plasmablast occurs prevents that the betrayal occurs. sent20: if the refresher happens then not the tumbling but the decantation happens. sent21: if the replicating plasmablast does not occur and the charades happens the backing occurs. ; $proof$ = 
void -> assump1: Let's assume that the replicating plasmablast happens.; sent18 & assump1 -> int1: the entr'acte happens.; int1 & sent14 -> int2: the Copticness occurs.; int2 & sent4 -> int3: the squiring homonym occurs.; int3 & sent8 -> int4: the microbialness happens.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the replicating plasmablast does not occur.; sent6 & sent16 -> int7: that the refresher occurs does not hold.; sent9 & int7 -> int8: that the tumbling and the decantation occurs is not incorrect.; int8 -> int9: the tumbling occurs.; sent10 & int9 -> int10: the charades occurs.; int6 & int10 -> int11: the replicating plasmablast does not occur but the charades happens.; int11 & sent21 -> hypothesis; __PROVED__