that the sermon does not occur is not false.
sent1: the pinging does not occur. sent2: that the pinging occurs causes that the sermon does not occur. sent3: the blocking occurs and the uneasiness occurs. sent4: the sermon does not occur if that either the inhibition happens or the ping happens or both hold. sent5: the uneasiness occurs. sent6: that the reprisal and the court-martialing occurs is not right if the rationalistness does not occur. sent7: the panning Noruz does not occur if the fact that both the reprisal and the court-martialing occurs is not right. sent8: if the fact that the reprisal does not occur is not incorrect the panning Noruz does not occur. sent9: the sermon causes that the inhibition does not occur and/or that the blocking happens. sent10: that the sermon happens is triggered by that the non-rationalistness and the panning Noruz occurs. sent11: the fact that the inhibition does not occur hold if that not the pinging but the inhibition occurs is false. sent12: if the blocking happens then the panning Noruz happens. sent13: the inhibition happens if the rationalistness happens.
void -> assump1: Let's assume that the rationalistness does not occur.; sent6 & assump1 -> int1: the fact that the reprisal occurs and the court-martial happens does not hold.; int1 & sent7 -> int2: the panning Noruz does not occur.; sent3 -> int3: the blocking occurs.; sent12 & int3 -> int4: the panning Noruz occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the rationalistness occurs is not incorrect.; int6 & sent13 -> int7: the inhibition happens.; int7 -> int8: the inhibition occurs and/or the pinging happens.; int8 & sent4 -> hypothesis;
the Sinitic happens and the passionlessness occurs.
$hypothesis$ = that the sermon does not occur is not false. ; $context$ = sent1: the pinging does not occur. sent2: that the pinging occurs causes that the sermon does not occur. sent3: the blocking occurs and the uneasiness occurs. sent4: the sermon does not occur if that either the inhibition happens or the ping happens or both hold. sent5: the uneasiness occurs. sent6: that the reprisal and the court-martialing occurs is not right if the rationalistness does not occur. sent7: the panning Noruz does not occur if the fact that both the reprisal and the court-martialing occurs is not right. sent8: if the fact that the reprisal does not occur is not incorrect the panning Noruz does not occur. sent9: the sermon causes that the inhibition does not occur and/or that the blocking happens. sent10: that the sermon happens is triggered by that the non-rationalistness and the panning Noruz occurs. sent11: the fact that the inhibition does not occur hold if that not the pinging but the inhibition occurs is false. sent12: if the blocking happens then the panning Noruz happens. sent13: the inhibition happens if the rationalistness happens. ; $proof$ = 
void -> assump1: Let's assume that the rationalistness does not occur.; sent6 & assump1 -> int1: the fact that the reprisal occurs and the court-martial happens does not hold.; int1 & sent7 -> int2: the panning Noruz does not occur.; sent3 -> int3: the blocking occurs.; sent12 & int3 -> int4: the panning Noruz occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the rationalistness occurs is not incorrect.; int6 & sent13 -> int7: the inhibition happens.; int7 -> int8: the inhibition occurs and/or the pinging happens.; int8 & sent4 -> hypothesis; __PROVED__