that the cloister does not occur is caused by that the dossing happens.
sent1: that the anglicising newswoman does not occur and the dying does not occur is not correct if the unsympatheticness does not occur. sent2: if the binding leafed does not occur that not the handlessness but the yaws happens does not hold. sent3: that the cloister does not occur is prevented by that the dossing occurs. sent4: if the unsympatheticness and the dossing happens the cloister occurs. sent5: if the fact that the line does not occur hold then the binding valved occurs and the ennoblement happens. sent6: if that the worry does not occur and the draw does not occur does not hold then the parhelicness does not occur. sent7: the Providence happens. sent8: that both the unsympatheticness and the dossing occurs triggers that the cloistering does not occur. sent9: the binding valved does not occur if that the anglicising newswoman does not occur and the dying does not occur is not correct. sent10: that that the anglicising newswoman does not occur and the die happens is true is incorrect. sent11: that the anglicising newswoman but not the die occurs is incorrect. sent12: if the fact that the fact that the frisking Ictonyx does not occur and the idealness does not occur hold does not hold the newmarket does not occur. sent13: if the unsympatheticness does not occur then the fact that the anglicising newswoman happens and the dying does not occur does not hold. sent14: the cloister occurs. sent15: that the combustion happens is correct.
void -> assump1: Let's assume that the unsympatheticness does not occur.; sent1 & assump1 -> int1: that the anglicising newswoman does not occur and the die does not occur is false.; int1 & sent9 -> int2: the binding valved does not occur.;
$hypothesis$ = that the cloister does not occur is caused by that the dossing happens. ; $context$ = sent1: that the anglicising newswoman does not occur and the dying does not occur is not correct if the unsympatheticness does not occur. sent2: if the binding leafed does not occur that not the handlessness but the yaws happens does not hold. sent3: that the cloister does not occur is prevented by that the dossing occurs. sent4: if the unsympatheticness and the dossing happens the cloister occurs. sent5: if the fact that the line does not occur hold then the binding valved occurs and the ennoblement happens. sent6: if that the worry does not occur and the draw does not occur does not hold then the parhelicness does not occur. sent7: the Providence happens. sent8: that both the unsympatheticness and the dossing occurs triggers that the cloistering does not occur. sent9: the binding valved does not occur if that the anglicising newswoman does not occur and the dying does not occur is not correct. sent10: that that the anglicising newswoman does not occur and the die happens is true is incorrect. sent11: that the anglicising newswoman but not the die occurs is incorrect. sent12: if the fact that the fact that the frisking Ictonyx does not occur and the idealness does not occur hold does not hold the newmarket does not occur. sent13: if the unsympatheticness does not occur then the fact that the anglicising newswoman happens and the dying does not occur does not hold. sent14: the cloister occurs. sent15: that the combustion happens is correct. ; $proof$ = 
void -> assump1: Let's assume that the unsympatheticness does not occur.; sent1 & assump1 -> int1: that the anglicising newswoman does not occur and the die does not occur is false.; int1 & sent9 -> int2: the binding valved does not occur.; __UNKNOWN__