the fact that the divulgence happens is correct.
sent1: that the Maundy and the gemination occurs causes that the divulgence does not occur. sent2: if the Maundy does not occur the fact that the dislodgment does not occur and the assailing obscurity does not occur does not hold. sent3: that the anecdotalness does not occur results in that the incriminating director and the vigilantism happens. sent4: the penitent does not occur and the dabbling occurs. sent5: if the Maundy does not occur that the dislodgment does not occur but the assailing obscurity occurs is wrong. sent6: the summering does not occur. sent7: that that the dislodgment but not the assailing obscurity occurs does not hold is not wrong. sent8: the congregation does not occur. sent9: both the gemination and the chancing alliance occurs if the penitent does not occur. sent10: the fact that the contraception does not occur hold. sent11: if the summering does not occur the dislodgment does not occur and the assailing obscurity does not occur. sent12: the dabbling happens. sent13: the chancing alliance happens. sent14: the fact that the dislodgment happens but the assailing obscurity does not occur does not hold if the Maundy does not occur. sent15: the chancing alliance is caused by that the penitentness does not occur. sent16: the fact that the dislodgment does not occur and the assailing obscurity occurs is not correct. sent17: the runaway happens and the set-to happens. sent18: that the divulgence occurs is caused by that the gemination does not occur and the Maundy does not occur.
void -> assump1: Let's assume that the Maundy does not occur.; sent2 & assump1 -> int1: the fact that the dislodgment does not occur and the assailing obscurity does not occur is not correct.; sent11 & sent6 -> int2: that the dislodgment does not occur and the assailing obscurity does not occur hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Maundy occurs.; sent4 -> int5: the penitentness does not occur.; sent9 & int5 -> int6: the gemination and the chancing alliance happens.; int6 -> int7: the gemination occurs.; int4 & int7 -> int8: the Maundy happens and the gemination happens.; int8 & sent1 -> hypothesis;
the divulgence happens.
$hypothesis$ = the fact that the divulgence happens is correct. ; $context$ = sent1: that the Maundy and the gemination occurs causes that the divulgence does not occur. sent2: if the Maundy does not occur the fact that the dislodgment does not occur and the assailing obscurity does not occur does not hold. sent3: that the anecdotalness does not occur results in that the incriminating director and the vigilantism happens. sent4: the penitent does not occur and the dabbling occurs. sent5: if the Maundy does not occur that the dislodgment does not occur but the assailing obscurity occurs is wrong. sent6: the summering does not occur. sent7: that that the dislodgment but not the assailing obscurity occurs does not hold is not wrong. sent8: the congregation does not occur. sent9: both the gemination and the chancing alliance occurs if the penitent does not occur. sent10: the fact that the contraception does not occur hold. sent11: if the summering does not occur the dislodgment does not occur and the assailing obscurity does not occur. sent12: the dabbling happens. sent13: the chancing alliance happens. sent14: the fact that the dislodgment happens but the assailing obscurity does not occur does not hold if the Maundy does not occur. sent15: the chancing alliance is caused by that the penitentness does not occur. sent16: the fact that the dislodgment does not occur and the assailing obscurity occurs is not correct. sent17: the runaway happens and the set-to happens. sent18: that the divulgence occurs is caused by that the gemination does not occur and the Maundy does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Maundy does not occur.; sent2 & assump1 -> int1: the fact that the dislodgment does not occur and the assailing obscurity does not occur is not correct.; sent11 & sent6 -> int2: that the dislodgment does not occur and the assailing obscurity does not occur hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Maundy occurs.; sent4 -> int5: the penitentness does not occur.; sent9 & int5 -> int6: the gemination and the chancing alliance happens.; int6 -> int7: the gemination occurs.; int4 & int7 -> int8: the Maundy happens and the gemination happens.; int8 & sent1 -> hypothesis; __DISPROVED__