that the senior is not anabiotic is true.
sent1: the Croesus is spermicidal if it does not structure. sent2: the stitcher does knot Curtiss. sent3: the peccary is not Wiccan. sent4: if something is not a kind of a structured it does down. sent5: the fact that the stitcher does farm Elbe if the gymnasium is summery is right. sent6: if the peccary is spermicidal the Croesus is not a structured. sent7: if the peccary structures or it is spermicidal or both then the fact that the Croesus is not a structures hold. sent8: if that the peccary is not spermicidal hold then the senior is a kind of a structured that is not a kind of a down. sent9: the gymnasium is summery. sent10: the peccary is anabiotic if the senior is spermicidal. sent11: the fact that the foolscap does structure hold. sent12: something is an epithet if that it is not parhelic is not false. sent13: something does debase and it knots Hylidae if it is not maxillodental. sent14: the peccary either is a structured or is spermicidal or both. sent15: the Croesus is spermicidal if the peccary is a structured. sent16: the Croesus structures if it is not spermicidal. sent17: if something knots Curtiss and it does farm Elbe that it is not maxillodental is true. sent18: the peccary is not non-down. sent19: the Croesus downs and/or it is anabiotic. sent20: the senior is not a kind of a down. sent21: a non-susceptible thing farms pulque. sent22: the senior is not spermicidal. sent23: the fact that the wiseacre is not anabiotic is not correct. sent24: if the Croesus downs then the senior is anabiotic.
sent4 -> int1: if the Croesus is not a structured then it is down.; sent7 & sent14 -> int2: the Croesus is not a structured.; int1 & int2 -> int3: the Croesus does down.; int3 & sent24 -> hypothesis;
the senior is not anabiotic.
sent13 -> int4: the stitcher does debase and knots Hylidae if it is not maxillodental.; sent17 -> int5: if the stitcher knots Curtiss and farms Elbe then it is not maxillodental.; sent5 & sent9 -> int6: the stitcher farms Elbe.; sent2 & int6 -> int7: the stitcher knots Curtiss and it farms Elbe.; int5 & int7 -> int8: the stitcher is not maxillodental.; int4 & int8 -> int9: the stitcher debases and it knots Hylidae.; int9 -> int10: the stitcher does knot Hylidae.; int10 -> int11: there exists something such that that it knots Hylidae is not wrong.;
$hypothesis$ = that the senior is not anabiotic is true. ; $context$ = sent1: the Croesus is spermicidal if it does not structure. sent2: the stitcher does knot Curtiss. sent3: the peccary is not Wiccan. sent4: if something is not a kind of a structured it does down. sent5: the fact that the stitcher does farm Elbe if the gymnasium is summery is right. sent6: if the peccary is spermicidal the Croesus is not a structured. sent7: if the peccary structures or it is spermicidal or both then the fact that the Croesus is not a structures hold. sent8: if that the peccary is not spermicidal hold then the senior is a kind of a structured that is not a kind of a down. sent9: the gymnasium is summery. sent10: the peccary is anabiotic if the senior is spermicidal. sent11: the fact that the foolscap does structure hold. sent12: something is an epithet if that it is not parhelic is not false. sent13: something does debase and it knots Hylidae if it is not maxillodental. sent14: the peccary either is a structured or is spermicidal or both. sent15: the Croesus is spermicidal if the peccary is a structured. sent16: the Croesus structures if it is not spermicidal. sent17: if something knots Curtiss and it does farm Elbe that it is not maxillodental is true. sent18: the peccary is not non-down. sent19: the Croesus downs and/or it is anabiotic. sent20: the senior is not a kind of a down. sent21: a non-susceptible thing farms pulque. sent22: the senior is not spermicidal. sent23: the fact that the wiseacre is not anabiotic is not correct. sent24: if the Croesus downs then the senior is anabiotic. ; $proof$ = 
sent4 -> int1: if the Croesus is not a structured then it is down.; sent7 & sent14 -> int2: the Croesus is not a structured.; int1 & int2 -> int3: the Croesus does down.; int3 & sent24 -> hypothesis; __DISPROVED__