the flavin is not an abstinence.
sent1: the flavin does not marble sack. sent2: the seasoner does endeavor. sent3: the flavin is an abstinence and a needled if the seasoner is not a kind of a needled. sent4: the rattrap is a turntable that is an abstinence. sent5: the convolution does not number epic. sent6: the convolution is a kind of a trench that is an abstinence. sent7: if something is not a needled then it does endeavor and it is a Kirchner. sent8: the flavin is a kind of non-thick thing that is not a kind of a Lathyrus. sent9: the angiologist endeavors. sent10: the convolution does not marble sack and is not a kind of a Trotsky. sent11: if that the convolution endeavors and it is a kind of a Kirchner is not right the zoologist is not a needled. sent12: there is something such that it is not a Kirchner. sent13: if something that endeavors is a Kirchner then it is not an abstinence. sent14: the fact that something does endeavor and is a Kirchner is incorrect if it is not menopausal. sent15: the flavin does not slink carcase. sent16: the seasoner does not needle if something is not a kind of a Kirchner but it does endeavor. sent17: the fact that the angiologist is not a Kirchner hold if the convolution does not marble sack and it is not a Trotsky. sent18: the angiologist does not marble sack. sent19: the fact that the angiologist is a Trotsky hold. sent20: there exists something such that it endeavors. sent21: the convolution does not marble sack. sent22: the flavin is a needled.
sent17 & sent10 -> int1: the angiologist is not a kind of a Kirchner.; int1 & sent9 -> int2: the angiologist is not a Kirchner but it endeavors.; int2 -> int3: there exists something such that it is not a Kirchner and it does endeavor.; int3 & sent16 -> int4: the seasoner is not a needled.; int4 & sent3 -> int5: the flavin is an abstinence and it is a needled.; int5 -> hypothesis;
the flavin is not an abstinence.
sent13 -> int6: the flavin is not an abstinence if it endeavors and it is a Kirchner.; sent7 -> int7: the flavin endeavors and is a Kirchner if it is not a kind of a needled.;
$hypothesis$ = the flavin is not an abstinence. ; $context$ = sent1: the flavin does not marble sack. sent2: the seasoner does endeavor. sent3: the flavin is an abstinence and a needled if the seasoner is not a kind of a needled. sent4: the rattrap is a turntable that is an abstinence. sent5: the convolution does not number epic. sent6: the convolution is a kind of a trench that is an abstinence. sent7: if something is not a needled then it does endeavor and it is a Kirchner. sent8: the flavin is a kind of non-thick thing that is not a kind of a Lathyrus. sent9: the angiologist endeavors. sent10: the convolution does not marble sack and is not a kind of a Trotsky. sent11: if that the convolution endeavors and it is a kind of a Kirchner is not right the zoologist is not a needled. sent12: there is something such that it is not a Kirchner. sent13: if something that endeavors is a Kirchner then it is not an abstinence. sent14: the fact that something does endeavor and is a Kirchner is incorrect if it is not menopausal. sent15: the flavin does not slink carcase. sent16: the seasoner does not needle if something is not a kind of a Kirchner but it does endeavor. sent17: the fact that the angiologist is not a Kirchner hold if the convolution does not marble sack and it is not a Trotsky. sent18: the angiologist does not marble sack. sent19: the fact that the angiologist is a Trotsky hold. sent20: there exists something such that it endeavors. sent21: the convolution does not marble sack. sent22: the flavin is a needled. ; $proof$ = 
sent17 & sent10 -> int1: the angiologist is not a kind of a Kirchner.; int1 & sent9 -> int2: the angiologist is not a Kirchner but it endeavors.; int2 -> int3: there exists something such that it is not a Kirchner and it does endeavor.; int3 & sent16 -> int4: the seasoner is not a needled.; int4 & sent3 -> int5: the flavin is an abstinence and it is a needled.; int5 -> hypothesis; __DISPROVED__