that the resubmitting rhyme does not occur and the unawaresness does not occur is not correct.
sent1: the resubmitting keystroke does not occur and the unawaresness does not occur if that the appearing happens is true. sent2: if the resubmitting rhyme occurs then the lockout happens. sent3: the fact that the appearing happens hold if the deposing Osmerus happens but the resubmitting lawyerbush does not occur. sent4: that the initiative does not occur is brought about by that both the lockout and the parliamentariness happens. sent5: the constraint happens. sent6: the resubmitting fer-de-lance does not occur. sent7: the parliamentariness happens and the dehydrogenating prowler happens. sent8: the onslaught occurs if the coexisting happens. sent9: the non-awareness is brought about by the vaulting. sent10: the deposing Osmerus but not the resubmitting lawyerbush occurs if the constraint occurs. sent11: the jurisprudentialness occurs. sent12: the initiative happens. sent13: that the jam and the Tanzanian occurs prevents the Hanoverian. sent14: the fact that the self-denial does not occur is true.
void -> assump1: Let's assume that the resubmitting rhyme occurs.; sent2 & assump1 -> int1: the lockout happens.; sent7 -> int2: the parliamentariness occurs.; int1 & int2 -> int3: that the lockout occurs and the parliamentariness happens hold.; int3 & sent4 -> int4: the initiative does not occur.; int4 & sent12 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the resubmitting rhyme does not occur is true.; sent10 & sent5 -> int7: the deposing Osmerus happens but the resubmitting lawyerbush does not occur.; sent3 & int7 -> int8: the appearing happens.; sent1 & int8 -> int9: the resubmitting keystroke does not occur and the unawaresness does not occur.; int9 -> int10: the unawaresness does not occur.; int6 & int10 -> hypothesis;
$hypothesis$ = that the resubmitting rhyme does not occur and the unawaresness does not occur is not correct. ; $context$ = sent1: the resubmitting keystroke does not occur and the unawaresness does not occur if that the appearing happens is true. sent2: if the resubmitting rhyme occurs then the lockout happens. sent3: the fact that the appearing happens hold if the deposing Osmerus happens but the resubmitting lawyerbush does not occur. sent4: that the initiative does not occur is brought about by that both the lockout and the parliamentariness happens. sent5: the constraint happens. sent6: the resubmitting fer-de-lance does not occur. sent7: the parliamentariness happens and the dehydrogenating prowler happens. sent8: the onslaught occurs if the coexisting happens. sent9: the non-awareness is brought about by the vaulting. sent10: the deposing Osmerus but not the resubmitting lawyerbush occurs if the constraint occurs. sent11: the jurisprudentialness occurs. sent12: the initiative happens. sent13: that the jam and the Tanzanian occurs prevents the Hanoverian. sent14: the fact that the self-denial does not occur is true. ; $proof$ = 
void -> assump1: Let's assume that the resubmitting rhyme occurs.; sent2 & assump1 -> int1: the lockout happens.; sent7 -> int2: the parliamentariness occurs.; int1 & int2 -> int3: that the lockout occurs and the parliamentariness happens hold.; int3 & sent4 -> int4: the initiative does not occur.; int4 & sent12 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the resubmitting rhyme does not occur is true.; sent10 & sent5 -> int7: the deposing Osmerus happens but the resubmitting lawyerbush does not occur.; sent3 & int7 -> int8: the appearing happens.; sent1 & int8 -> int9: the resubmitting keystroke does not occur and the unawaresness does not occur.; int9 -> int10: the unawaresness does not occur.; int6 & int10 -> hypothesis; __DISPROVED__