the chlorobenzene extends sociology.
sent1: if there exists something such that that it underwrites Goddard is correct then the cymbal is a kind of a kill and it is a sympathy. sent2: the chlorobenzene does not extend sociology if the borer does not underwrite Christendom. sent3: the adenovirus is a doxazosin if there exists something such that it is not a spiral. sent4: if the fact that the cymbal is both not a doxazosin and not a spiral is not correct the adenovirus is not supportive. sent5: the fact that the borer is not ornithological is not false. sent6: the borer extends sociology. sent7: there is something such that it is bottom. sent8: something is not a kind of a meclizine if it is irresistible. sent9: if something is a kill it does not extend sociology. sent10: the borer does underwrite Christendom and/or it does extend sociology. sent11: the cymbal is a bottom and it is a kill if there is something such that it is a doxazosin. sent12: the amigo does not underwrite Goddard if it is not a kind of a sympathy and it underwrites Christendom. sent13: if the cymbal is a kill the borer underwrites Goddard. sent14: if the cymbal is a spiral that the adenovirus is a doxazosin that does not extend sociology does not hold. sent15: there exists something such that it is not a spiral. sent16: if something strolls then it is not a Daucus. sent17: that the methadone does extend sociology is not incorrect. sent18: the chlorobenzene does not underwrite Christendom. sent19: the borer is a bottom. sent20: if something is a kind of a sympathy then the borer does bottom and it extends sociology. sent21: there is something such that it slimes commutation. sent22: the borer is not a doxazosin if the adenovirus does not underwrite Goddard. sent23: if the amigo does not underwrite Goddard that the chlorobenzene is not a kill and does not bottom does not hold. sent24: if something does underwrite Goddard or is a kind of a sympathy or both then it does not underwrite Christendom.
sent15 & sent3 -> int1: the adenovirus is a kind of a doxazosin.; int1 -> int2: something is a doxazosin.; int2 & sent11 -> int3: the cymbal is a kind of a bottom and it is a kill.; int3 -> int4: the cymbal is a kill.; int4 & sent13 -> int5: the borer underwrites Goddard.; int5 -> int6: the borer does underwrite Goddard and/or it is a kind of a sympathy.; sent24 -> int7: the borer does not underwrite Christendom if either it does underwrite Goddard or it is a sympathy or both.; int6 & int7 -> int8: the borer does not underwrite Christendom.; int8 & sent2 -> hypothesis;
there is something such that it is unsupportive.
$hypothesis$ = the chlorobenzene extends sociology. ; $context$ = sent1: if there exists something such that that it underwrites Goddard is correct then the cymbal is a kind of a kill and it is a sympathy. sent2: the chlorobenzene does not extend sociology if the borer does not underwrite Christendom. sent3: the adenovirus is a doxazosin if there exists something such that it is not a spiral. sent4: if the fact that the cymbal is both not a doxazosin and not a spiral is not correct the adenovirus is not supportive. sent5: the fact that the borer is not ornithological is not false. sent6: the borer extends sociology. sent7: there is something such that it is bottom. sent8: something is not a kind of a meclizine if it is irresistible. sent9: if something is a kill it does not extend sociology. sent10: the borer does underwrite Christendom and/or it does extend sociology. sent11: the cymbal is a bottom and it is a kill if there is something such that it is a doxazosin. sent12: the amigo does not underwrite Goddard if it is not a kind of a sympathy and it underwrites Christendom. sent13: if the cymbal is a kill the borer underwrites Goddard. sent14: if the cymbal is a spiral that the adenovirus is a doxazosin that does not extend sociology does not hold. sent15: there exists something such that it is not a spiral. sent16: if something strolls then it is not a Daucus. sent17: that the methadone does extend sociology is not incorrect. sent18: the chlorobenzene does not underwrite Christendom. sent19: the borer is a bottom. sent20: if something is a kind of a sympathy then the borer does bottom and it extends sociology. sent21: there is something such that it slimes commutation. sent22: the borer is not a doxazosin if the adenovirus does not underwrite Goddard. sent23: if the amigo does not underwrite Goddard that the chlorobenzene is not a kill and does not bottom does not hold. sent24: if something does underwrite Goddard or is a kind of a sympathy or both then it does not underwrite Christendom. ; $proof$ = 
sent15 & sent3 -> int1: the adenovirus is a kind of a doxazosin.; int1 -> int2: something is a doxazosin.; int2 & sent11 -> int3: the cymbal is a kind of a bottom and it is a kill.; int3 -> int4: the cymbal is a kill.; int4 & sent13 -> int5: the borer underwrites Goddard.; int5 -> int6: the borer does underwrite Goddard and/or it is a kind of a sympathy.; sent24 -> int7: the borer does not underwrite Christendom if either it does underwrite Goddard or it is a sympathy or both.; int6 & int7 -> int8: the borer does not underwrite Christendom.; int8 & sent2 -> hypothesis; __DISPROVED__