that the weeper is not a kind of a quincentennial hold.
sent1: there exists something such that it skids turbogenerator. sent2: the fact that the marathoner is not a peg and it is not quincentennial is not true if the tetranychid is not a stretched. sent3: something extricates subpopulation if it is a peg. sent4: if the fact that either the pyrogallol is a tawse or it is a latecomer or both is wrong the showpiece is not a tawse. sent5: if something is not a stretched then the marathoner is a kind of a peg. sent6: there exists something such that it is a tawse. sent7: there is something such that it is orthodontics and does extricate auricula. sent8: the fact that that the holystone is a spiv and does roughen methenamine hold is incorrect. sent9: the weeper is not a kind of a quincentennial if that something does extricate subpopulation and skids turbogenerator hold. sent10: the marathoner does not skid turbogenerator if something is a quincentennial and it extricates subpopulation. sent11: something does extricate subpopulation. sent12: the tetranychid either does skid turbogenerator or does not extricate subpopulation or both if the showpiece is not a tawse. sent13: the weeper is a kind of a stretched. sent14: there exists something such that it does not stretch. sent15: that that something skids turbogenerator and stretches is not incorrect if it is not a peg is true. sent16: if there exists something such that the fact that it does not extricate subpopulation and it pegs is false then the woodworm is not a pegs. sent17: if there exists something such that it is a tawse the fact that the marathoner skids turbogenerator is true. sent18: there is something such that it is excitable. sent19: if something is a cost then the fact that it is a kind of a pilaf hold. sent20: something is not a kind of a Liepaja. sent21: the fact that something is both not quincentennial and a spiv is incorrect if it is a kind of a tawse. sent22: the fact that something does not extricate subpopulation but it does peg does not hold if it is a quincentennial. sent23: there exists something such that it is a stretched. sent24: the have is not a spiv if that the holystone is a spiv and it roughens methenamine is incorrect. sent25: if the weeper is quincentennial then it skids turbogenerator.
sent14 & sent5 -> int1: the marathoner does peg.; sent3 -> int2: the fact that the marathoner does extricate subpopulation is true if it does peg.; int1 & int2 -> int3: that the marathoner does extricate subpopulation hold.; sent6 & sent17 -> int4: the marathoner does skid turbogenerator.; int3 & int4 -> int5: the marathoner does extricate subpopulation and it does skid turbogenerator.; int5 -> int6: there exists something such that it does extricate subpopulation and does skid turbogenerator.; int6 & sent9 -> hypothesis;
the woodworm does skid turbogenerator.
sent15 -> int7: the woodworm does skid turbogenerator and does stretch if it is not a peg.; sent22 -> int8: if the marathoner is quincentennial then that it does not extricate subpopulation and it is a peg is false.; sent21 -> int9: if the weeper is a tawse the fact that the fact that it is both not quincentennial and a spiv hold is not right.;
$hypothesis$ = that the weeper is not a kind of a quincentennial hold. ; $context$ = sent1: there exists something such that it skids turbogenerator. sent2: the fact that the marathoner is not a peg and it is not quincentennial is not true if the tetranychid is not a stretched. sent3: something extricates subpopulation if it is a peg. sent4: if the fact that either the pyrogallol is a tawse or it is a latecomer or both is wrong the showpiece is not a tawse. sent5: if something is not a stretched then the marathoner is a kind of a peg. sent6: there exists something such that it is a tawse. sent7: there is something such that it is orthodontics and does extricate auricula. sent8: the fact that that the holystone is a spiv and does roughen methenamine hold is incorrect. sent9: the weeper is not a kind of a quincentennial if that something does extricate subpopulation and skids turbogenerator hold. sent10: the marathoner does not skid turbogenerator if something is a quincentennial and it extricates subpopulation. sent11: something does extricate subpopulation. sent12: the tetranychid either does skid turbogenerator or does not extricate subpopulation or both if the showpiece is not a tawse. sent13: the weeper is a kind of a stretched. sent14: there exists something such that it does not stretch. sent15: that that something skids turbogenerator and stretches is not incorrect if it is not a peg is true. sent16: if there exists something such that the fact that it does not extricate subpopulation and it pegs is false then the woodworm is not a pegs. sent17: if there exists something such that it is a tawse the fact that the marathoner skids turbogenerator is true. sent18: there is something such that it is excitable. sent19: if something is a cost then the fact that it is a kind of a pilaf hold. sent20: something is not a kind of a Liepaja. sent21: the fact that something is both not quincentennial and a spiv is incorrect if it is a kind of a tawse. sent22: the fact that something does not extricate subpopulation but it does peg does not hold if it is a quincentennial. sent23: there exists something such that it is a stretched. sent24: the have is not a spiv if that the holystone is a spiv and it roughens methenamine is incorrect. sent25: if the weeper is quincentennial then it skids turbogenerator. ; $proof$ = 
sent14 & sent5 -> int1: the marathoner does peg.; sent3 -> int2: the fact that the marathoner does extricate subpopulation is true if it does peg.; int1 & int2 -> int3: that the marathoner does extricate subpopulation hold.; sent6 & sent17 -> int4: the marathoner does skid turbogenerator.; int3 & int4 -> int5: the marathoner does extricate subpopulation and it does skid turbogenerator.; int5 -> int6: there exists something such that it does extricate subpopulation and does skid turbogenerator.; int6 & sent9 -> hypothesis; __PROVED__