the fact that the sleep does not occur and the banning inflow does not occur does not hold.
sent1: the fact that the protestation occurs is not incorrect if the surpassing happens. sent2: the fact that the sleeping does not occur and the banning inflow does not occur is not true if the tickle does not occur. sent3: that the participating occurs and/or the fundraiser occurs is caused by the non-postganglionicness. sent4: both the postganglionicness and the onymousness occurs if the speculating does not occur. sent5: the fact that the liftoff and the surpassing occurs is not right if the protestation does not occur. sent6: the mitzvah does not occur if the fact that both the mitzvah and the incarnating occurs is not true. sent7: the protestation happens if the liftoff happens. sent8: the postganglionicness does not occur. sent9: the lobbing sforzando does not occur if the fact that not the fundraiser but the participating happens is false. sent10: that both the tickle and the shock happens is not correct if the lobbing sforzando does not occur. sent11: if the conchology does not occur the fact that the speculating does not occur is not incorrect. sent12: either the liftoff or the surpassing or both happens. sent13: the fact that the fundraiser does not occur and the participating happens does not hold if the postganglionicness occurs. sent14: that the temporizing happens and/or that the forfeiting occurs is brought about by that the mitzvah does not occur. sent15: if the banning Newfoundland occurs or the Rwandan does not occur or both then the conchology does not occur. sent16: the sleeping does not occur and the banning inflow does not occur if the liftoff does not occur. sent17: if the protestation and the tickling occurs then the shock does not occur. sent18: if the participating happens then the fact that the lobbing sforzando occurs hold. sent19: the shock happens if the lobbing sforzando happens. sent20: that the fundraiser happens triggers the lobbing sforzando.
sent12 & sent7 & sent1 -> int1: the protestation happens.; void -> assump1: Let's assume that the tickling happens.; int1 & assump1 -> int2: both the protestation and the tickle occurs.; int2 & sent17 -> int3: the shock does not occur.; sent3 & sent8 -> int4: the participating happens and/or the fundraiser occurs.; int4 & sent18 & sent20 -> int5: the lobbing sforzando happens.; sent19 & int5 -> int6: the fact that the shocking happens hold.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the tickle does not occur.; int8 & sent2 -> hypothesis;
the sleep does not occur and the banning inflow does not occur.
$hypothesis$ = the fact that the sleep does not occur and the banning inflow does not occur does not hold. ; $context$ = sent1: the fact that the protestation occurs is not incorrect if the surpassing happens. sent2: the fact that the sleeping does not occur and the banning inflow does not occur is not true if the tickle does not occur. sent3: that the participating occurs and/or the fundraiser occurs is caused by the non-postganglionicness. sent4: both the postganglionicness and the onymousness occurs if the speculating does not occur. sent5: the fact that the liftoff and the surpassing occurs is not right if the protestation does not occur. sent6: the mitzvah does not occur if the fact that both the mitzvah and the incarnating occurs is not true. sent7: the protestation happens if the liftoff happens. sent8: the postganglionicness does not occur. sent9: the lobbing sforzando does not occur if the fact that not the fundraiser but the participating happens is false. sent10: that both the tickle and the shock happens is not correct if the lobbing sforzando does not occur. sent11: if the conchology does not occur the fact that the speculating does not occur is not incorrect. sent12: either the liftoff or the surpassing or both happens. sent13: the fact that the fundraiser does not occur and the participating happens does not hold if the postganglionicness occurs. sent14: that the temporizing happens and/or that the forfeiting occurs is brought about by that the mitzvah does not occur. sent15: if the banning Newfoundland occurs or the Rwandan does not occur or both then the conchology does not occur. sent16: the sleeping does not occur and the banning inflow does not occur if the liftoff does not occur. sent17: if the protestation and the tickling occurs then the shock does not occur. sent18: if the participating happens then the fact that the lobbing sforzando occurs hold. sent19: the shock happens if the lobbing sforzando happens. sent20: that the fundraiser happens triggers the lobbing sforzando. ; $proof$ = 
sent12 & sent7 & sent1 -> int1: the protestation happens.; void -> assump1: Let's assume that the tickling happens.; int1 & assump1 -> int2: both the protestation and the tickle occurs.; int2 & sent17 -> int3: the shock does not occur.; sent3 & sent8 -> int4: the participating happens and/or the fundraiser occurs.; int4 & sent18 & sent20 -> int5: the lobbing sforzando happens.; sent19 & int5 -> int6: the fact that the shocking happens hold.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the tickle does not occur.; int8 & sent2 -> hypothesis; __PROVED__