that there is something such that it does bake does not hold.
sent1: the weatherstrip is not a lapse. sent2: the wright does bake if the emu is both not a faille and not a lapse. sent3: the emu is not a faille. sent4: if the wright is not a lapse and it is not a faille the emu bakes. sent5: the wright is not a faille. sent6: if the wright is not a faille and does not lapse that the emu does bake hold. sent7: the wright is not a kind of a faille and it does not weigh. sent8: if the emu does not bake and it is not a faille the wright lapses. sent9: the emu is a kind of a Yersin. sent10: the wright is a Noruz. sent11: the emu does not lapse. sent12: the emu does not bake. sent13: the jacket does not lapse. sent14: the strickle is not a faille.
sent3 & sent11 -> int1: the emu is both not a faille and not a lapse.; sent2 & int1 -> int2: the wright does bake.; int2 -> hypothesis;
$hypothesis$ = that there is something such that it does bake does not hold. ; $context$ = sent1: the weatherstrip is not a lapse. sent2: the wright does bake if the emu is both not a faille and not a lapse. sent3: the emu is not a faille. sent4: if the wright is not a lapse and it is not a faille the emu bakes. sent5: the wright is not a faille. sent6: if the wright is not a faille and does not lapse that the emu does bake hold. sent7: the wright is not a kind of a faille and it does not weigh. sent8: if the emu does not bake and it is not a faille the wright lapses. sent9: the emu is a kind of a Yersin. sent10: the wright is a Noruz. sent11: the emu does not lapse. sent12: the emu does not bake. sent13: the jacket does not lapse. sent14: the strickle is not a faille. ; $proof$ = 
sent3 & sent11 -> int1: the emu is both not a faille and not a lapse.; sent2 & int1 -> int2: the wright does bake.; int2 -> hypothesis; __DISPROVED__