the resection does not occur.
sent1: the urceolateness occurs if the bolide does not occur. sent2: if the urceolateness and the sanctification occurs then the fact that the pursuance does not occur is not wrong. sent3: the bitchery occurs if the decoration occurs. sent4: if the section happens then the decoration happens. sent5: if the fact that the Zephyr but not the contusion happens is not false the resection does not occur. sent6: that the sanctification does not occur is prevented by the bitchery. sent7: the bolide does not occur and/or the ladling Canaanite does not occur. sent8: the urceolateness occurs if the ladling Canaanite does not occur. sent9: the Zephyr happens and the contusion does not occur if the pursuance does not occur.
sent7 & sent1 & sent8 -> int1: the urceolateness happens.;
$hypothesis$ = the resection does not occur. ; $context$ = sent1: the urceolateness occurs if the bolide does not occur. sent2: if the urceolateness and the sanctification occurs then the fact that the pursuance does not occur is not wrong. sent3: the bitchery occurs if the decoration occurs. sent4: if the section happens then the decoration happens. sent5: if the fact that the Zephyr but not the contusion happens is not false the resection does not occur. sent6: that the sanctification does not occur is prevented by the bitchery. sent7: the bolide does not occur and/or the ladling Canaanite does not occur. sent8: the urceolateness occurs if the ladling Canaanite does not occur. sent9: the Zephyr happens and the contusion does not occur if the pursuance does not occur. ; $proof$ = 
sent7 & sent1 & sent8 -> int1: the urceolateness happens.; __UNKNOWN__