the brainwave does not occur.
sent1: the archesporialness does not occur if that the adagio does not occur is not false. sent2: the riddling billboard occurs. sent3: the fact that both the adagio and the hymenopterousness happens is incorrect if that the technicalness does not occur hold. sent4: if that the fact that both the adagio and the hymenopterousness happens is incorrect is true then the archesporialness does not occur. sent5: if the fact that that the fetching and the sticking drumhead happens is not true is true then the technicalness does not occur. sent6: the fact that the fetch and the sticking drumhead happens is false if the fact that the demotion does not occur hold. sent7: the fact that both the sticking Lathyrus and the keylessness occurs is wrong. sent8: the technicalness does not occur if the fact that the fetch does not occur hold. sent9: the archesporialness happens. sent10: if the adagio does not occur then the technicalness occurs. sent11: the fact that the adagio happens is not wrong if the hymenopterousness happens. sent12: that the sticking Mortimer occurs is not false. sent13: if the demotion and the affairs occurs the brainwave does not occur. sent14: the affairs does not occur if either the affairs does not occur or the misting does not occur or both. sent15: if the archesporialness does not occur and the affairs does not occur the hymenopterousness occurs. sent16: if the sticking Mortimer does not occur the affairs does not occur or the mist does not occur or both. sent17: if that that the cash-and-carriness does not occur or the conciliation does not occur or both is not correct hold the sticking Mortimer does not occur.
void -> assump1: Let's assume that the demotion does not occur.; sent6 & assump1 -> int1: that both the fetch and the sticking drumhead occurs is incorrect.; int1 & sent5 -> int2: the technicalness does not occur.; int2 & sent3 -> int3: that the adagio and the hymenopterousness happens is incorrect.; int3 & sent4 -> int4: the archesporialness does not occur.; int4 & sent9 -> int5: this is contradiction.; [assump1] & int5 -> int6: the demotion happens.;
the brainwave happens.
$hypothesis$ = the brainwave does not occur. ; $context$ = sent1: the archesporialness does not occur if that the adagio does not occur is not false. sent2: the riddling billboard occurs. sent3: the fact that both the adagio and the hymenopterousness happens is incorrect if that the technicalness does not occur hold. sent4: if that the fact that both the adagio and the hymenopterousness happens is incorrect is true then the archesporialness does not occur. sent5: if the fact that that the fetching and the sticking drumhead happens is not true is true then the technicalness does not occur. sent6: the fact that the fetch and the sticking drumhead happens is false if the fact that the demotion does not occur hold. sent7: the fact that both the sticking Lathyrus and the keylessness occurs is wrong. sent8: the technicalness does not occur if the fact that the fetch does not occur hold. sent9: the archesporialness happens. sent10: if the adagio does not occur then the technicalness occurs. sent11: the fact that the adagio happens is not wrong if the hymenopterousness happens. sent12: that the sticking Mortimer occurs is not false. sent13: if the demotion and the affairs occurs the brainwave does not occur. sent14: the affairs does not occur if either the affairs does not occur or the misting does not occur or both. sent15: if the archesporialness does not occur and the affairs does not occur the hymenopterousness occurs. sent16: if the sticking Mortimer does not occur the affairs does not occur or the mist does not occur or both. sent17: if that that the cash-and-carriness does not occur or the conciliation does not occur or both is not correct hold the sticking Mortimer does not occur. ; $proof$ = 
void -> assump1: Let's assume that the demotion does not occur.; sent6 & assump1 -> int1: that both the fetch and the sticking drumhead occurs is incorrect.; int1 & sent5 -> int2: the technicalness does not occur.; int2 & sent3 -> int3: that the adagio and the hymenopterousness happens is incorrect.; int3 & sent4 -> int4: the archesporialness does not occur.; int4 & sent9 -> int5: this is contradiction.; [assump1] & int5 -> int6: the demotion happens.; __UNKNOWN__