the midshipman is noble but it is not a Iranian.
sent1: the fact that the vesture does junketeer and is a kind of a writer does not hold. sent2: the midshipman is noble but it is not a Iranian if the vesture is a kind of a writer. sent3: that the midshipman is noble but it is not Iranian does not hold if the abortus is not Slovakian. sent4: something is not a writer if the fact that it is a venison and it is not international is wrong. sent5: something does not answer pat if it rattles. sent6: the abortus is not nasopharyngeal but it does answer pat if there is something such that it is not a writer. sent7: something that does junketeer is a writer. sent8: something that is not nasopharyngeal is a writer and junketeers. sent9: if the Devon does not answer pat the fact that the vesture is nasopharyngeal but it does not junketeer is not right. sent10: the Devon does not rattle and does not junketeer. sent11: that the midshipman is both not non-noble and Iranian is not right. sent12: the fact that the monstrosity is not a mileage but it is configurational is not right if it singularizes security. sent13: the monstrosity does singularize security if it is a pink and is not a Shakespeare. sent14: if the fact that the abortus is not oral and not noble does not hold that the Devon is Iranian is not incorrect. sent15: if that something is nasopharyngeal thing that does not junketeer is false it junketeer. sent16: if something is not nasopharyngeal but it does answer pat it is not Slovakian. sent17: a non-oral thing does not answer pat. sent18: the fact that the abortus is not an oral and it is not noble does not hold if it is a Packera. sent19: that the midshipman is not nasopharyngeal hold if something does answer pat. sent20: the Devon does junketeer if the vesture is a venison that is not international. sent21: the abortus is a Packera. sent22: the monstrosity pinks but it is not a Shakespeare. sent23: the stuff is a rattle and/or it is not oral if there exists something such that it is not a Packera. sent24: if that the monstrosity is not a mileage but it is configurational is false the streak is a Tinca. sent25: if there is something such that it is a Tinca the slammer does string but it is not a Packera. sent26: if something is a kind of a Iranian the vesture is Slovakian and it does answer pat.
void -> assump1: Let's assume that the vesture is a kind of a venison but it is not international.; sent20 & assump1 -> int1: the Devon does junketeer.; sent10 -> int2: the Devon does not junketeer.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the vesture is a kind of a venison that is not international is not right.; sent4 -> int5: if that the vesture is a kind of a venison but it is not international is wrong then it is not a kind of a writer.; int4 & int5 -> int6: the vesture is not a writer.; int6 -> int7: something is not a writer.; int7 & sent6 -> int8: the abortus is not nasopharyngeal but it does answer pat.; sent16 -> int9: if the abortus is not nasopharyngeal and answers pat it is not Slovakian.; int8 & int9 -> int10: that the abortus is not Slovakian is true.; int10 & sent3 -> hypothesis;
the midshipman is noble but it is non-Iranian.
sent7 -> int11: if the vesture does junketeer it is a writer.; sent15 -> int12: the vesture junketeers if the fact that it is nasopharyngeal and does not junketeers does not hold.; sent13 & sent22 -> int13: that the monstrosity singularizes security is true.; sent12 & int13 -> int14: the fact that the monstrosity is not a mileage but it is not non-configurational is not correct.; sent24 & int14 -> int15: the streak is a kind of a Tinca.; int15 -> int16: there is something such that it is a Tinca.; int16 & sent25 -> int17: the slammer is a strings and is not a Packera.; int17 -> int18: the slammer is not a Packera.; int18 -> int19: there is something such that it is not a kind of a Packera.; int19 & sent23 -> int20: the stuff is a rattle and/or it is not an oral.; sent5 -> int21: the stuff does not answer pat if the fact that it is a kind of a rattle is not wrong.; sent17 -> int22: the stuff does not answer pat if it is not an oral.; int20 & int21 & int22 -> int23: the stuff does not answer pat.; int23 -> int24: there exists something such that it does not answer pat.;
$hypothesis$ = the midshipman is noble but it is not a Iranian. ; $context$ = sent1: the fact that the vesture does junketeer and is a kind of a writer does not hold. sent2: the midshipman is noble but it is not a Iranian if the vesture is a kind of a writer. sent3: that the midshipman is noble but it is not Iranian does not hold if the abortus is not Slovakian. sent4: something is not a writer if the fact that it is a venison and it is not international is wrong. sent5: something does not answer pat if it rattles. sent6: the abortus is not nasopharyngeal but it does answer pat if there is something such that it is not a writer. sent7: something that does junketeer is a writer. sent8: something that is not nasopharyngeal is a writer and junketeers. sent9: if the Devon does not answer pat the fact that the vesture is nasopharyngeal but it does not junketeer is not right. sent10: the Devon does not rattle and does not junketeer. sent11: that the midshipman is both not non-noble and Iranian is not right. sent12: the fact that the monstrosity is not a mileage but it is configurational is not right if it singularizes security. sent13: the monstrosity does singularize security if it is a pink and is not a Shakespeare. sent14: if the fact that the abortus is not oral and not noble does not hold that the Devon is Iranian is not incorrect. sent15: if that something is nasopharyngeal thing that does not junketeer is false it junketeer. sent16: if something is not nasopharyngeal but it does answer pat it is not Slovakian. sent17: a non-oral thing does not answer pat. sent18: the fact that the abortus is not an oral and it is not noble does not hold if it is a Packera. sent19: that the midshipman is not nasopharyngeal hold if something does answer pat. sent20: the Devon does junketeer if the vesture is a venison that is not international. sent21: the abortus is a Packera. sent22: the monstrosity pinks but it is not a Shakespeare. sent23: the stuff is a rattle and/or it is not oral if there exists something such that it is not a Packera. sent24: if that the monstrosity is not a mileage but it is configurational is false the streak is a Tinca. sent25: if there is something such that it is a Tinca the slammer does string but it is not a Packera. sent26: if something is a kind of a Iranian the vesture is Slovakian and it does answer pat. ; $proof$ = 
void -> assump1: Let's assume that the vesture is a kind of a venison but it is not international.; sent20 & assump1 -> int1: the Devon does junketeer.; sent10 -> int2: the Devon does not junketeer.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the vesture is a kind of a venison that is not international is not right.; sent4 -> int5: if that the vesture is a kind of a venison but it is not international is wrong then it is not a kind of a writer.; int4 & int5 -> int6: the vesture is not a writer.; int6 -> int7: something is not a writer.; int7 & sent6 -> int8: the abortus is not nasopharyngeal but it does answer pat.; sent16 -> int9: if the abortus is not nasopharyngeal and answers pat it is not Slovakian.; int8 & int9 -> int10: that the abortus is not Slovakian is true.; int10 & sent3 -> hypothesis; __DISPROVED__