that the seasnail is a yeoman and it is tannic is not correct.
sent1: the seasnail is a yeoman. sent2: that if the seasnail does load then the seasnail is tannic is correct. sent3: that the seasnail is not a kind of a Lot is true. sent4: everything is a supplejack and it is not a kind of a Lot. sent5: the six-footer loads if it does not reface catheter or it is bicylindrical or both. sent6: the seasnail is a kind of a loading if it is a supplejack and it is a Lot. sent7: the seasnail is a bovid if that the six-footer is a loading is not incorrect. sent8: if the seasnail is a supplejack and is not a kind of a Lot it is a loading. sent9: if something is not run-on it does not reface catheter and/or it is bicylindrical. sent10: the seasnail is a kind of a supplejack if that the demodulation is a supplejack hold. sent11: if the ferritin does load the demodulation does load. sent12: the bratwurst refaces convent but it is not a start. sent13: the six-footer is not a yeoman if the demodulation loads and is bicylindrical. sent14: if the ferritin is not run-on and it is not a kind of a Sabbatarian the six-footer is not run-on. sent15: the fact that the ferritin is not run-on and is not a kind of a Sabbatarian is not false.
sent4 -> int1: the seasnail is a supplejack but it is not a Lot.; int1 & sent8 -> int2: the seasnail is a kind of a loading.; int2 & sent2 -> int3: the seasnail is tannic.; int3 & sent1 -> hypothesis;
the seasnail is a bovid and a supplejack.
sent9 -> int4: the six-footer does not reface catheter and/or it is bicylindrical if it is not run-on.; sent14 & sent15 -> int5: the six-footer is not run-on.; int4 & int5 -> int6: the six-footer does not reface catheter and/or it is bicylindrical.; sent5 & int6 -> int7: the six-footer is a loading.; sent7 & int7 -> int8: the seasnail is a bovid.;
$hypothesis$ = that the seasnail is a yeoman and it is tannic is not correct. ; $context$ = sent1: the seasnail is a yeoman. sent2: that if the seasnail does load then the seasnail is tannic is correct. sent3: that the seasnail is not a kind of a Lot is true. sent4: everything is a supplejack and it is not a kind of a Lot. sent5: the six-footer loads if it does not reface catheter or it is bicylindrical or both. sent6: the seasnail is a kind of a loading if it is a supplejack and it is a Lot. sent7: the seasnail is a bovid if that the six-footer is a loading is not incorrect. sent8: if the seasnail is a supplejack and is not a kind of a Lot it is a loading. sent9: if something is not run-on it does not reface catheter and/or it is bicylindrical. sent10: the seasnail is a kind of a supplejack if that the demodulation is a supplejack hold. sent11: if the ferritin does load the demodulation does load. sent12: the bratwurst refaces convent but it is not a start. sent13: the six-footer is not a yeoman if the demodulation loads and is bicylindrical. sent14: if the ferritin is not run-on and it is not a kind of a Sabbatarian the six-footer is not run-on. sent15: the fact that the ferritin is not run-on and is not a kind of a Sabbatarian is not false. ; $proof$ = 
sent4 -> int1: the seasnail is a supplejack but it is not a Lot.; int1 & sent8 -> int2: the seasnail is a kind of a loading.; int2 & sent2 -> int3: the seasnail is tannic.; int3 & sent1 -> hypothesis; __DISPROVED__