that the banishment does not occur is prevented by the chapel.
sent1: that the unscholarliness occurs and the penitentness occurs does not hold if the banishment does not occur. sent2: the chapel does not occur if the fact that the unscholarliness occurs and the penitent occurs does not hold. sent3: if that the banishment and the chapel occurs is incorrect then the passerine does not occur. sent4: the crediting happens. sent5: if the banishment happens then the fact that both the unscholarliness and the penitent occurs is incorrect. sent6: the immunologicalness happens. sent7: the fact that the fact that both the banishment and the chapel occurs is not wrong is false if the severalizing five-spot does not occur. sent8: that the quadrille happens and the manhandling rectification does not occur results in that the severalizing five-spot does not occur. sent9: if the penitent does not occur the chapel does not occur.
void -> assump1: Let's assume that the chapel happens.; void -> assump2: Let's assume that the banishment does not occur.; sent1 & assump2 -> int1: that the unscholarliness and the penitentness happens is not correct.; sent2 & int1 -> int2: the chapel does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the banishment occurs.; [assump1] & int4 -> hypothesis;
the passerineness does not occur.
$hypothesis$ = that the banishment does not occur is prevented by the chapel. ; $context$ = sent1: that the unscholarliness occurs and the penitentness occurs does not hold if the banishment does not occur. sent2: the chapel does not occur if the fact that the unscholarliness occurs and the penitent occurs does not hold. sent3: if that the banishment and the chapel occurs is incorrect then the passerine does not occur. sent4: the crediting happens. sent5: if the banishment happens then the fact that both the unscholarliness and the penitent occurs is incorrect. sent6: the immunologicalness happens. sent7: the fact that the fact that both the banishment and the chapel occurs is not wrong is false if the severalizing five-spot does not occur. sent8: that the quadrille happens and the manhandling rectification does not occur results in that the severalizing five-spot does not occur. sent9: if the penitent does not occur the chapel does not occur. ; $proof$ = 
void -> assump1: Let's assume that the chapel happens.; void -> assump2: Let's assume that the banishment does not occur.; sent1 & assump2 -> int1: that the unscholarliness and the penitentness happens is not correct.; sent2 & int1 -> int2: the chapel does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the banishment occurs.; [assump1] & int4 -> hypothesis; __PROVED__