the snorer is not viricidal.
sent1: that everything does monetize jacksnipe hold. sent2: the bandit meshes tautog if the roadhog is a kind of a brevity. sent3: the jacksnipe exhausts if there exists something such that it is a redeemer. sent4: the jacksnipe is a kind of a shrapnel if there is something such that it does design friar's-cowl. sent5: the bandit is not viricidal if it meshes tautog. sent6: the bandit does design friar's-cowl and is a redeemer. sent7: the bandit is a redeemer. sent8: the Afghan is lengthwise and not Tibetan. sent9: something is membranous if it is both not non-lengthwise and non-Tibetan. sent10: the snorer is zoic. sent11: the fact that something is a crud but it does not design friar's-cowl is not right if it does monetize jacksnipe. sent12: if that the angwantibo is not a estriol and/or it is not a redeemer is not true then the bandit is not viricidal. sent13: if the roadhog meshes tautog the bandit does meshes tautog. sent14: the snorer is not non-viricidal if something designs friar's-cowl and/or it is a estriol. sent15: if something is membranous then the roadhog is a kind of a brevity and/or it does mesh tautog. sent16: something is a fiberglass or is a kind of a carinate or both. sent17: the snorer is viricidal if something is a kind of a estriol.
sent6 -> int1: the bandit designs friar's-cowl.; int1 -> int2: the bandit does design friar's-cowl and/or it is a estriol.; int2 -> int3: something does design friar's-cowl and/or it is a estriol.; int3 & sent14 -> hypothesis;
the jacksnipe is a shrapnel and an exhausting.
sent9 -> int4: if the Afghan is a kind of lengthwise thing that is not a Tibetan then it is membranous.; sent8 & int4 -> int5: the Afghan is membranous.; int5 -> int6: there exists something such that it is membranous.; int6 & sent15 -> int7: the roadhog is a brevity and/or meshes tautog.; int7 & sent2 & sent13 -> int8: the bandit meshes tautog.; sent5 & int8 -> int9: the bandit is not viricidal.; sent11 -> int10: the fact that the ladylove is a kind of a crud that does not design friar's-cowl does not hold if it does monetize jacksnipe.; sent1 -> int11: the ladylove does monetize jacksnipe.; int10 & int11 -> int12: that the ladylove is a crud but it does not design friar's-cowl does not hold.; int12 -> int13: there is nothing such that it is a kind of a crud and does not design friar's-cowl.; int13 -> int14: the fact that the angwantibo is a kind of a crud that does not design friar's-cowl is not correct.; int14 -> int15: there is something such that that it is a crud and it does not design friar's-cowl is not correct.;
$hypothesis$ = the snorer is not viricidal. ; $context$ = sent1: that everything does monetize jacksnipe hold. sent2: the bandit meshes tautog if the roadhog is a kind of a brevity. sent3: the jacksnipe exhausts if there exists something such that it is a redeemer. sent4: the jacksnipe is a kind of a shrapnel if there is something such that it does design friar's-cowl. sent5: the bandit is not viricidal if it meshes tautog. sent6: the bandit does design friar's-cowl and is a redeemer. sent7: the bandit is a redeemer. sent8: the Afghan is lengthwise and not Tibetan. sent9: something is membranous if it is both not non-lengthwise and non-Tibetan. sent10: the snorer is zoic. sent11: the fact that something is a crud but it does not design friar's-cowl is not right if it does monetize jacksnipe. sent12: if that the angwantibo is not a estriol and/or it is not a redeemer is not true then the bandit is not viricidal. sent13: if the roadhog meshes tautog the bandit does meshes tautog. sent14: the snorer is not non-viricidal if something designs friar's-cowl and/or it is a estriol. sent15: if something is membranous then the roadhog is a kind of a brevity and/or it does mesh tautog. sent16: something is a fiberglass or is a kind of a carinate or both. sent17: the snorer is viricidal if something is a kind of a estriol. ; $proof$ = 
sent6 -> int1: the bandit designs friar's-cowl.; int1 -> int2: the bandit does design friar's-cowl and/or it is a estriol.; int2 -> int3: something does design friar's-cowl and/or it is a estriol.; int3 & sent14 -> hypothesis; __DISPROVED__