the fact that the voting does not occur hold.
sent1: the shears does not occur. sent2: if the hearing darnel does not occur and the roiling does not occur the fact that the hearing harmony does not occur is not wrong. sent3: that the discontinuance does not occur yields that the Anglicanness and the pro-lifeness happens. sent4: the panicking does not occur. sent5: the vote does not occur if the non-pro-lifeness and the non-nonconformistness occurs. sent6: that the pandering does not occur and the manslaughter does not occur is false. sent7: the demotion occurs. sent8: the nonconformist does not occur. sent9: if that the Frenchifying headlock and the discontinuance occurs does not hold the fact that the discontinuance does not occur hold. sent10: that the discontinuance does not occur causes that the tingling happens and the pro-lifeness happens. sent11: if that the Frenchifying headlock happens and the tornado does not occur is false the discontinuance does not occur. sent12: if the fact that the tornado does not occur and the rattiness does not occur does not hold the fact that the rattiness occurs is correct. sent13: the fact that the tornado does not occur and the rattiness does not occur is not correct. sent14: the Frenchifying scrub does not occur. sent15: that the nonconformistness does not occur but the pro-lifeness occurs results in the voting. sent16: that the digest happens is not false. sent17: the consulship happens. sent18: both the Frenchifying vac and the non-Pasteurianness happens.
void -> assump1: Let's assume that the pro-lifeness occurs.; sent12 & sent13 -> int1: the rattiness occurs.;
the tingling occurs and the bombshell does not occur.
$hypothesis$ = the fact that the voting does not occur hold. ; $context$ = sent1: the shears does not occur. sent2: if the hearing darnel does not occur and the roiling does not occur the fact that the hearing harmony does not occur is not wrong. sent3: that the discontinuance does not occur yields that the Anglicanness and the pro-lifeness happens. sent4: the panicking does not occur. sent5: the vote does not occur if the non-pro-lifeness and the non-nonconformistness occurs. sent6: that the pandering does not occur and the manslaughter does not occur is false. sent7: the demotion occurs. sent8: the nonconformist does not occur. sent9: if that the Frenchifying headlock and the discontinuance occurs does not hold the fact that the discontinuance does not occur hold. sent10: that the discontinuance does not occur causes that the tingling happens and the pro-lifeness happens. sent11: if that the Frenchifying headlock happens and the tornado does not occur is false the discontinuance does not occur. sent12: if the fact that the tornado does not occur and the rattiness does not occur does not hold the fact that the rattiness occurs is correct. sent13: the fact that the tornado does not occur and the rattiness does not occur is not correct. sent14: the Frenchifying scrub does not occur. sent15: that the nonconformistness does not occur but the pro-lifeness occurs results in the voting. sent16: that the digest happens is not false. sent17: the consulship happens. sent18: both the Frenchifying vac and the non-Pasteurianness happens. ; $proof$ = 
void -> assump1: Let's assume that the pro-lifeness occurs.; sent12 & sent13 -> int1: the rattiness occurs.; __UNKNOWN__