the fumitory is not an excursion.
sent1: if something is not chromatic then it is non-boustrophedonic thing that is not a kind of a newmarket. sent2: the fumitory is a place-kicker. sent3: something is a kind of a place-kicker if it is serologic. sent4: if something does not quench thrilling it is a Culiacan and it is a coloration. sent5: if there is something such that it is a kind of a saw then the fumitory is not a kind of an excursion. sent6: something is bacteriological if it is a Antarctic. sent7: if something is not a Antarctic it is a saw. sent8: the fact that the East is a place-kicker is right. sent9: there is something such that the fact that it is serologic hold. sent10: everything is not chromatic. sent11: if the fact that the glyburide is bacteriological or not serologic or both does not hold then the East is not a Antarctic. sent12: if the fixative does not demise internationality then that the hammock is not a place-kicker and/or it is not a Australian is incorrect. sent13: the Dalmatian is an excursion. sent14: the Jenny is not a place-kicker if the fact that the hammock is not a place-kicker and/or it is not a kind of a Australian is not true. sent15: something is bacteriological. sent16: if something does not see then the East is a Antarctic. sent17: there exists something such that it is not a kind of a saw. sent18: the fumitory is a kind of a Antarctic. sent19: the fixative does not demise internationality if there is something such that it is a Culiacan. sent20: the fumitory is a kind of an excursion if something that is bacteriological is serologic. sent21: the station does not quench thrilling if something is a kind of non-boustrophedonic thing that is not a newmarket. sent22: the East is not a kind of a Gur and/or it is serologic if it is a place-kicker. sent23: something that either is not a kind of a Gur or is not non-serologic or both is non-serologic.
sent17 & sent16 -> int1: the East is a Antarctic.; sent6 -> int2: the East is bacteriological if it is a Antarctic.; int1 & int2 -> int3: the East is bacteriological.; sent23 -> int4: the East is serologic if it is not a Gur or is serologic or both.; sent22 & sent8 -> int5: the East is not a Gur and/or it is serologic.; int4 & int5 -> int6: the East is serologic.; int3 & int6 -> int7: the East is bacteriological and serologic.; int7 -> int8: there exists something such that it is bacteriological and it is serologic.; int8 & sent20 -> hypothesis;
the fumitory is not a kind of an excursion.
sent7 -> int9: the East is a saw if it is not a Antarctic.; sent10 -> int10: the humin is not chromatic.; sent1 -> int11: the humin is not boustrophedonic and not a newmarket if that it is non-chromatic is not incorrect.; int10 & int11 -> int12: the humin is a kind of non-boustrophedonic thing that is not a newmarket.; int12 -> int13: that everything is not boustrophedonic and is not a newmarket is correct.; int13 -> int14: the anesthetic is not boustrophedonic and is not a newmarket.; int14 -> int15: there is something such that it is both not boustrophedonic and not a newmarket.; int15 & sent21 -> int16: the station does not quench thrilling.; sent4 -> int17: the station is a Culiacan and is a coloration if it does not quench thrilling.; int16 & int17 -> int18: the station is a kind of a Culiacan that is a coloration.; int18 -> int19: the fact that the station is a Culiacan is not false.; int19 -> int20: there exists something such that it is a Culiacan.; sent19 & int20 -> int21: the fixative does not demise internationality.; int21 & sent12 -> int22: that the hammock is not a kind of a place-kicker or is not a kind of a Australian or both does not hold.; sent14 & int22 -> int23: the Jenny is not a place-kicker.;
$hypothesis$ = the fumitory is not an excursion. ; $context$ = sent1: if something is not chromatic then it is non-boustrophedonic thing that is not a kind of a newmarket. sent2: the fumitory is a place-kicker. sent3: something is a kind of a place-kicker if it is serologic. sent4: if something does not quench thrilling it is a Culiacan and it is a coloration. sent5: if there is something such that it is a kind of a saw then the fumitory is not a kind of an excursion. sent6: something is bacteriological if it is a Antarctic. sent7: if something is not a Antarctic it is a saw. sent8: the fact that the East is a place-kicker is right. sent9: there is something such that the fact that it is serologic hold. sent10: everything is not chromatic. sent11: if the fact that the glyburide is bacteriological or not serologic or both does not hold then the East is not a Antarctic. sent12: if the fixative does not demise internationality then that the hammock is not a place-kicker and/or it is not a Australian is incorrect. sent13: the Dalmatian is an excursion. sent14: the Jenny is not a place-kicker if the fact that the hammock is not a place-kicker and/or it is not a kind of a Australian is not true. sent15: something is bacteriological. sent16: if something does not see then the East is a Antarctic. sent17: there exists something such that it is not a kind of a saw. sent18: the fumitory is a kind of a Antarctic. sent19: the fixative does not demise internationality if there is something such that it is a Culiacan. sent20: the fumitory is a kind of an excursion if something that is bacteriological is serologic. sent21: the station does not quench thrilling if something is a kind of non-boustrophedonic thing that is not a newmarket. sent22: the East is not a kind of a Gur and/or it is serologic if it is a place-kicker. sent23: something that either is not a kind of a Gur or is not non-serologic or both is non-serologic. ; $proof$ = 
sent17 & sent16 -> int1: the East is a Antarctic.; sent6 -> int2: the East is bacteriological if it is a Antarctic.; int1 & int2 -> int3: the East is bacteriological.; sent23 -> int4: the East is serologic if it is not a Gur or is serologic or both.; sent22 & sent8 -> int5: the East is not a Gur and/or it is serologic.; int4 & int5 -> int6: the East is serologic.; int3 & int6 -> int7: the East is bacteriological and serologic.; int7 -> int8: there exists something such that it is bacteriological and it is serologic.; int8 & sent20 -> hypothesis; __DISPROVED__