the roofing does not occur and the Bam does not occur.
sent1: if the fact that the decisiveness does not occur and the nonterritorialness occurs is not right then the hyperventilating happens. sent2: if the approximating does not occur then the fowling desktop happens and the reflectorizing bootleg occurs. sent3: if the blockading occurs and the Angolan occurs then the equalness does not occur. sent4: if the calvary does not occur then the nonprofit does not occur. sent5: that the excitement occurs but the streaming does not occur prevents the approximating. sent6: if the ascertaining pain does not occur the influentialness and the Bam occurs. sent7: if the fowling desktop does not occur that the reflectorizing bootleg and/or the non-nonlinearness happens is wrong. sent8: if that the fact that the reflectorizing bootleg and/or the non-nonlinearness occurs is not false is incorrect the roofing happens. sent9: if the ascertaining pain occurs and the nonlinearness happens the Bam does not occur. sent10: the nonlinearness occurs. sent11: the ascertaining pain occurs. sent12: that the blockading does not occur and the Angolanness happens prevents the equalness. sent13: if the fact that the blockade does not occur and the Angolan happens is not correct then the lashing happens. sent14: if the equalness occurs the fact that the roofing does not occur and the Bam does not occur is wrong. sent15: that the excitement does not occur yields that the approximating does not occur or the stream does not occur or both. sent16: that both the blockading and the Angolan happens is not true. sent17: if that the lash does not occur and the equalness does not occur is not correct the dissection does not occur. sent18: that the roofing does not occur is brought about by that the equalling does not occur.
void -> assump1: Let's assume that that not the blockade but the Angolan happens does not hold.; sent13 & assump1 -> int1: that the fact that the lash does not occur is not wrong is not correct.; sent11 & sent10 -> int2: both the ascertaining pain and the nonlinearness occurs.; sent9 & int2 -> int3: the Bam does not occur.;
the dissection does not occur but the influentialness occurs.
$hypothesis$ = the roofing does not occur and the Bam does not occur. ; $context$ = sent1: if the fact that the decisiveness does not occur and the nonterritorialness occurs is not right then the hyperventilating happens. sent2: if the approximating does not occur then the fowling desktop happens and the reflectorizing bootleg occurs. sent3: if the blockading occurs and the Angolan occurs then the equalness does not occur. sent4: if the calvary does not occur then the nonprofit does not occur. sent5: that the excitement occurs but the streaming does not occur prevents the approximating. sent6: if the ascertaining pain does not occur the influentialness and the Bam occurs. sent7: if the fowling desktop does not occur that the reflectorizing bootleg and/or the non-nonlinearness happens is wrong. sent8: if that the fact that the reflectorizing bootleg and/or the non-nonlinearness occurs is not false is incorrect the roofing happens. sent9: if the ascertaining pain occurs and the nonlinearness happens the Bam does not occur. sent10: the nonlinearness occurs. sent11: the ascertaining pain occurs. sent12: that the blockading does not occur and the Angolanness happens prevents the equalness. sent13: if the fact that the blockade does not occur and the Angolan happens is not correct then the lashing happens. sent14: if the equalness occurs the fact that the roofing does not occur and the Bam does not occur is wrong. sent15: that the excitement does not occur yields that the approximating does not occur or the stream does not occur or both. sent16: that both the blockading and the Angolan happens is not true. sent17: if that the lash does not occur and the equalness does not occur is not correct the dissection does not occur. sent18: that the roofing does not occur is brought about by that the equalling does not occur. ; $proof$ = 
void -> assump1: Let's assume that that not the blockade but the Angolan happens does not hold.; sent13 & assump1 -> int1: that the fact that the lash does not occur is not wrong is not correct.; sent11 & sent10 -> int2: both the ascertaining pain and the nonlinearness occurs.; sent9 & int2 -> int3: the Bam does not occur.; __UNKNOWN__