the uropygium does not beat basketweaver.
sent1: the phalanx is a Machiavellian. sent2: the fact that there is something such that it is a kind of non-Ottoman thing that does not acuminate is not wrong. sent3: if something is a syphilitic then the fact that it is not mesic and beats basketweaver is incorrect. sent4: if something that does not beat antlered does not spot heads-up it is not a kind of a forehanded. sent5: there is something such that the fact that it does not humanize and beats uropygium is not right. sent6: something is a kind of a Ottoman and it is paramedical. sent7: there is something such that the fact that it is hydrographic thing that does not weed triolein is not right. sent8: if there is something such that that it is hermeneutic and does weed triolein is false then the bricklayer does beat basketweaver. sent9: the fact that the bricklayer is hydrographic and does not weed triolein is not correct. sent10: the uropygium does beat basketweaver if there is something such that the fact that it is hermeneutic and it is a syphilitic is not correct. sent11: that the phalanx is hermeneutic and it is syphilitic is not correct if the basketweaver is not mesic. sent12: there exists something such that the fact that it is both not hydrographic and not mesic is false. sent13: if there is something such that it is hydrographic then the basketweaver is not mesic. sent14: something is both not non-hermeneutic and a syphilitic. sent15: the basketweaver is not mesic if there exists something such that the fact that it is not hydrographic and it does not weed triolein is incorrect. sent16: there is something such that that it is not hydrographic and weeds triolein is not true. sent17: the bricklayer is not hydrographic if there exists something such that the fact that it is not mesic and it is not a syphilitic does not hold. sent18: if the fact that the basketweaver is not a kind of a syphilitic is right then the ensemble does spot Jayshullah and is mesic. sent19: there is something such that the fact that it is non-hydrographic thing that does not weed triolein is not false. sent20: that the bricklayer is non-hydrographic thing that does not weed triolein is not true. sent21: if the basketweaver is not forehanded the fact that it is syphilitic thing that is hermeneutic is true. sent22: there exists something such that the fact that it spots Zostera and it is not spermous is wrong. sent23: the uropygium beats basketweaver if there is something such that it is not syphilitic.
sent20 -> int1: there is something such that that it is non-hydrographic and does not weed triolein is not right.; int1 & sent15 -> int2: the basketweaver is not mesic.; sent11 & int2 -> int3: the fact that the phalanx is hermeneutic and it is syphilitic is not true.; int3 -> int4: there is something such that the fact that it is both hermeneutic and syphilitic does not hold.; int4 & sent10 -> hypothesis;
the uropygium does not beat basketweaver.
sent3 -> int5: that the basketweaver is a kind of non-mesic thing that does beat basketweaver is incorrect if it is a kind of a syphilitic.; sent4 -> int6: if the basketweaver does not beat antlered and it does not spot heads-up it is not a kind of a forehanded.;
$hypothesis$ = the uropygium does not beat basketweaver. ; $context$ = sent1: the phalanx is a Machiavellian. sent2: the fact that there is something such that it is a kind of non-Ottoman thing that does not acuminate is not wrong. sent3: if something is a syphilitic then the fact that it is not mesic and beats basketweaver is incorrect. sent4: if something that does not beat antlered does not spot heads-up it is not a kind of a forehanded. sent5: there is something such that the fact that it does not humanize and beats uropygium is not right. sent6: something is a kind of a Ottoman and it is paramedical. sent7: there is something such that the fact that it is hydrographic thing that does not weed triolein is not right. sent8: if there is something such that that it is hermeneutic and does weed triolein is false then the bricklayer does beat basketweaver. sent9: the fact that the bricklayer is hydrographic and does not weed triolein is not correct. sent10: the uropygium does beat basketweaver if there is something such that the fact that it is hermeneutic and it is a syphilitic is not correct. sent11: that the phalanx is hermeneutic and it is syphilitic is not correct if the basketweaver is not mesic. sent12: there exists something such that the fact that it is both not hydrographic and not mesic is false. sent13: if there is something such that it is hydrographic then the basketweaver is not mesic. sent14: something is both not non-hermeneutic and a syphilitic. sent15: the basketweaver is not mesic if there exists something such that the fact that it is not hydrographic and it does not weed triolein is incorrect. sent16: there is something such that that it is not hydrographic and weeds triolein is not true. sent17: the bricklayer is not hydrographic if there exists something such that the fact that it is not mesic and it is not a syphilitic does not hold. sent18: if the fact that the basketweaver is not a kind of a syphilitic is right then the ensemble does spot Jayshullah and is mesic. sent19: there is something such that the fact that it is non-hydrographic thing that does not weed triolein is not false. sent20: that the bricklayer is non-hydrographic thing that does not weed triolein is not true. sent21: if the basketweaver is not forehanded the fact that it is syphilitic thing that is hermeneutic is true. sent22: there exists something such that the fact that it spots Zostera and it is not spermous is wrong. sent23: the uropygium beats basketweaver if there is something such that it is not syphilitic. ; $proof$ = 
sent20 -> int1: there is something such that that it is non-hydrographic and does not weed triolein is not right.; int1 & sent15 -> int2: the basketweaver is not mesic.; sent11 & int2 -> int3: the fact that the phalanx is hermeneutic and it is syphilitic is not true.; int3 -> int4: there is something such that the fact that it is both hermeneutic and syphilitic does not hold.; int4 & sent10 -> hypothesis; __DISPROVED__