the intermission occurs.
sent1: if the paroxysm does not occur the Paraguayanness does not occur. sent2: if the intermission does not occur the open-sourceness occurs. sent3: the restarting sized is caused by that the carousing does not occur. sent4: the separated prevents that the eradicableness happens. sent5: that the restarting clarinetist does not occur and the paroxysm does not occur is caused by the ineradicableness. sent6: that the including Superior does not occur is caused by that the hardening export does not occur and the intermission occurs. sent7: the hardening export occurs. sent8: if the blinding economist does not occur that both the antic and the Rock occurs is not true. sent9: if the fact that the antic occurs and the Rock occurs is wrong the carousing does not occur. sent10: that the intermission does not occur results in that the blinding Artamidae does not occur but the open-sourceness happens. sent11: the percolation prevents the non-intramuscularness. sent12: both the uncutness and the including leipoa happens. sent13: the open-sourceness happens. sent14: if the restarting sized does not occur the hardening export and the blinding Artamidae occurs. sent15: the waxenness does not occur. sent16: if the Paraguayan does not occur then the percolation happens and the obscenity occurs. sent17: the hardening export occurs if the restarting sized does not occur.
void -> assump1: Let's assume that the intermission does not occur.; sent10 & assump1 -> int1: not the blinding Artamidae but the open-sourceness happens.; int1 -> int2: the blinding Artamidae does not occur.;
not the including Superior but the intramuscularness happens.
$hypothesis$ = the intermission occurs. ; $context$ = sent1: if the paroxysm does not occur the Paraguayanness does not occur. sent2: if the intermission does not occur the open-sourceness occurs. sent3: the restarting sized is caused by that the carousing does not occur. sent4: the separated prevents that the eradicableness happens. sent5: that the restarting clarinetist does not occur and the paroxysm does not occur is caused by the ineradicableness. sent6: that the including Superior does not occur is caused by that the hardening export does not occur and the intermission occurs. sent7: the hardening export occurs. sent8: if the blinding economist does not occur that both the antic and the Rock occurs is not true. sent9: if the fact that the antic occurs and the Rock occurs is wrong the carousing does not occur. sent10: that the intermission does not occur results in that the blinding Artamidae does not occur but the open-sourceness happens. sent11: the percolation prevents the non-intramuscularness. sent12: both the uncutness and the including leipoa happens. sent13: the open-sourceness happens. sent14: if the restarting sized does not occur the hardening export and the blinding Artamidae occurs. sent15: the waxenness does not occur. sent16: if the Paraguayan does not occur then the percolation happens and the obscenity occurs. sent17: the hardening export occurs if the restarting sized does not occur. ; $proof$ = 
void -> assump1: Let's assume that the intermission does not occur.; sent10 & assump1 -> int1: not the blinding Artamidae but the open-sourceness happens.; int1 -> int2: the blinding Artamidae does not occur.; __UNKNOWN__