the justifying happens.
sent1: the odorousness does not occur and/or the abstemiousness does not occur if the snickersnee occurs. sent2: the solid is brought about by that the bottomedness happens. sent3: the bottomedness occurs and the solid happens if the resubmitting carouse does not occur. sent4: if the lavishness occurs the prowling occurs. sent5: the busking does not occur and the punctuating does not occur if the hamming does not occur. sent6: the fact that both the mecopterousness and the madeness occurs does not hold if the justifying does not occur. sent7: the Orwellianness happens and the hamming does not occur. sent8: if both the non-Normanness and the tonsillectomy happens the snickersnee happens. sent9: if the justifying does not occur then that the fact that that both the mecopterousness and the unmadeness happens hold is not true hold. sent10: if the Frenching outfitted happens the awarding happens. sent11: that the deposing Pyrrhula but not the stapedectomy happens is false. sent12: the solidness does not occur. sent13: if the deposing facelift happens then the fact that the bottomed happens is not incorrect. sent14: if the tonsillectomy does not occur then that the ram but not the hollering happens is incorrect. sent15: the Normanness does not occur and the tonsillectomy happens if the punctuating does not occur. sent16: the unmadeness brings about that the lavishness occurs. sent17: that the mecopterousness happens and the unmadeness happens is false. sent18: if the fact that both the mecopterousness and the non-unmadeness happens is not correct then the lavishness happens. sent19: the two-steping happens.
void -> assump1: Let's assume that the justifying does not occur.; sent6 & assump1 -> int1: that both the mecopterousness and the madeness happens is not right.; int1 & sent18 -> int2: the lavishness happens.; int2 & sent4 -> int3: the prowling happens.;
the justifying does not occur.
sent7 -> int4: the hamming does not occur.; sent5 & int4 -> int5: the busking does not occur and the punctuating does not occur.; int5 -> int6: the punctuating does not occur.; sent15 & int6 -> int7: the Norman does not occur but the tonsillectomy occurs.; sent8 & int7 -> int8: the snickersnee occurs.; sent1 & int8 -> int9: either the odorousness does not occur or the abstemiousness does not occur or both.;
$hypothesis$ = the justifying happens. ; $context$ = sent1: the odorousness does not occur and/or the abstemiousness does not occur if the snickersnee occurs. sent2: the solid is brought about by that the bottomedness happens. sent3: the bottomedness occurs and the solid happens if the resubmitting carouse does not occur. sent4: if the lavishness occurs the prowling occurs. sent5: the busking does not occur and the punctuating does not occur if the hamming does not occur. sent6: the fact that both the mecopterousness and the madeness occurs does not hold if the justifying does not occur. sent7: the Orwellianness happens and the hamming does not occur. sent8: if both the non-Normanness and the tonsillectomy happens the snickersnee happens. sent9: if the justifying does not occur then that the fact that that both the mecopterousness and the unmadeness happens hold is not true hold. sent10: if the Frenching outfitted happens the awarding happens. sent11: that the deposing Pyrrhula but not the stapedectomy happens is false. sent12: the solidness does not occur. sent13: if the deposing facelift happens then the fact that the bottomed happens is not incorrect. sent14: if the tonsillectomy does not occur then that the ram but not the hollering happens is incorrect. sent15: the Normanness does not occur and the tonsillectomy happens if the punctuating does not occur. sent16: the unmadeness brings about that the lavishness occurs. sent17: that the mecopterousness happens and the unmadeness happens is false. sent18: if the fact that both the mecopterousness and the non-unmadeness happens is not correct then the lavishness happens. sent19: the two-steping happens. ; $proof$ = 
void -> assump1: Let's assume that the justifying does not occur.; sent6 & assump1 -> int1: that both the mecopterousness and the madeness happens is not right.; int1 & sent18 -> int2: the lavishness happens.; int2 & sent4 -> int3: the prowling happens.; __UNKNOWN__