the depletion occurs.
sent1: the ventricularness does not occur if the fact that the comparativeness happens and the credulousness occurs is incorrect. sent2: if that both the monopoly and the Lancastrian occurs is not correct the kabbalism does not occur. sent3: if that the leafing does not occur and the coinciding does not occur is false the shrift does not occur. sent4: the kabbalism occurs. sent5: the kabbalism does not occur if the monopoly does not occur. sent6: if the endogeny does not occur the fact that the monopoly occurs and the Lancastrianness occurs does not hold. sent7: the fact that the monatomicness occurs hold. sent8: if the endogeny occurs the ventricularness occurs. sent9: if the ventricularness happens the depletion happens. sent10: if the shrift does not occur the fact that both the comparative and the credulousness happens is not correct.
void -> assump1: Let's assume that the endogeny does not occur.; sent6 & assump1 -> int1: the fact that the monopoly occurs and the Lancastrianness occurs is not correct.; int1 & sent2 -> int2: the kabbalism does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the endogeny happens.; int4 & sent8 -> int5: the ventricularness happens.; int5 & sent9 -> hypothesis;
the depletion does not occur.
$hypothesis$ = the depletion occurs. ; $context$ = sent1: the ventricularness does not occur if the fact that the comparativeness happens and the credulousness occurs is incorrect. sent2: if that both the monopoly and the Lancastrian occurs is not correct the kabbalism does not occur. sent3: if that the leafing does not occur and the coinciding does not occur is false the shrift does not occur. sent4: the kabbalism occurs. sent5: the kabbalism does not occur if the monopoly does not occur. sent6: if the endogeny does not occur the fact that the monopoly occurs and the Lancastrianness occurs does not hold. sent7: the fact that the monatomicness occurs hold. sent8: if the endogeny occurs the ventricularness occurs. sent9: if the ventricularness happens the depletion happens. sent10: if the shrift does not occur the fact that both the comparative and the credulousness happens is not correct. ; $proof$ = 
void -> assump1: Let's assume that the endogeny does not occur.; sent6 & assump1 -> int1: the fact that the monopoly occurs and the Lancastrianness occurs is not correct.; int1 & sent2 -> int2: the kabbalism does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the endogeny happens.; int4 & sent8 -> int5: the ventricularness happens.; int5 & sent9 -> hypothesis; __PROVED__