if the discontinuance does not occur and the warming does not occur then the unpermissiveness does not occur.
sent1: if the discontinuance and the non-warmingness happens then the unpermissiveness does not occur. sent2: the walking by-election does not occur. sent3: that the unpermissiveness occurs is false if the discontinuance does not occur and the warmingness occurs. sent4: the gunning occurs if not the discontinuance but the unpermissiveness occurs. sent5: the perinealness does not occur. sent6: the boning tracked does not occur. sent7: the inoffensiveness does not occur. sent8: the institutionalness does not occur. sent9: not the photoelectricness but the storage occurs. sent10: not the boning saltcellar but the carpellateness happens. sent11: the walking densitometer does not occur and the associating does not occur. sent12: the accident does not occur. sent13: the snooker does not occur. sent14: that the boning Hokusai happens is brought about by that the Preakness does not occur and the facing occurs. sent15: the statement does not occur and the masochisticness does not occur. sent16: the scrimmaging does not occur. sent17: the dawn occurs if the boning Jay happens and the boning lobby occurs. sent18: the gunning occurs if the discontinuance occurs and the unpermissiveness happens. sent19: the warming does not occur. sent20: the extemporization occurs. sent21: that the wending occurs is prevented by that both the tailoring and the non-congestiveness happens. sent22: if the discontinuance does not occur and the warming does not occur that the unpermissiveness occurs is right.
void -> assump1: Let's assume that the discontinuance does not occur and the warmingness does not occur.; assump1 -> int1: the discontinuance does not occur.; void -> assump2: Let's assume that the unpermissiveness happens.; int1 & assump2 -> int2: the discontinuance does not occur and the unpermissiveness occurs.; int2 & sent4 -> int3: the gunning happens.;
$hypothesis$ = if the discontinuance does not occur and the warming does not occur then the unpermissiveness does not occur. ; $context$ = sent1: if the discontinuance and the non-warmingness happens then the unpermissiveness does not occur. sent2: the walking by-election does not occur. sent3: that the unpermissiveness occurs is false if the discontinuance does not occur and the warmingness occurs. sent4: the gunning occurs if not the discontinuance but the unpermissiveness occurs. sent5: the perinealness does not occur. sent6: the boning tracked does not occur. sent7: the inoffensiveness does not occur. sent8: the institutionalness does not occur. sent9: not the photoelectricness but the storage occurs. sent10: not the boning saltcellar but the carpellateness happens. sent11: the walking densitometer does not occur and the associating does not occur. sent12: the accident does not occur. sent13: the snooker does not occur. sent14: that the boning Hokusai happens is brought about by that the Preakness does not occur and the facing occurs. sent15: the statement does not occur and the masochisticness does not occur. sent16: the scrimmaging does not occur. sent17: the dawn occurs if the boning Jay happens and the boning lobby occurs. sent18: the gunning occurs if the discontinuance occurs and the unpermissiveness happens. sent19: the warming does not occur. sent20: the extemporization occurs. sent21: that the wending occurs is prevented by that both the tailoring and the non-congestiveness happens. sent22: if the discontinuance does not occur and the warming does not occur that the unpermissiveness occurs is right. ; $proof$ = 
void -> assump1: Let's assume that the discontinuance does not occur and the warmingness does not occur.; assump1 -> int1: the discontinuance does not occur.; void -> assump2: Let's assume that the unpermissiveness happens.; int1 & assump2 -> int2: the discontinuance does not occur and the unpermissiveness occurs.; int2 & sent4 -> int3: the gunning happens.; __UNKNOWN__