there exists something such that it does not peg ad.
sent1: if the fact that the worksheet is not Mishnaic and it is not a strawman does not hold then it is moneyless. sent2: the y-axis does not reward Crow. sent3: that something is a kind of a sub-assembly is correct if it does advise. sent4: something does peg writer if that it is not a kind of a premeditation and it is not a folktale does not hold. sent5: the apex does not peg ad if something pegs writer. sent6: if the y-axis does not reward Crow it does advise. sent7: if the y-axis pegs writer it does reward Crow. sent8: the bathhouse is planographic if the y-axis is a sub-assembly. sent9: the bathhouse rewards Crow. sent10: The Crow does not reward y-axis. sent11: that the y-axis is a folktale but it does not advise is not right. sent12: if something is planographic then the fact that it is both not a premeditation and not a folktale is false. sent13: the apex rewards Crow.
sent6 & sent2 -> int1: the y-axis does advise.; sent3 -> int2: the fact that if the fact that the y-axis advises is not incorrect then the y-axis is a sub-assembly is correct.; int1 & int2 -> int3: the y-axis is a kind of a sub-assembly.; int3 & sent8 -> int4: that the bathhouse is planographic is not wrong.; sent12 -> int5: the fact that the bathhouse is not a kind of a premeditation and it is not a kind of a folktale is wrong if that it is planographic is not incorrect.; int4 & int5 -> int6: the fact that the bathhouse is not a kind of a premeditation and is not a kind of a folktale is not right.; sent4 -> int7: if that the bathhouse is not a premeditation and it is not a folktale is incorrect then it does peg writer.; int6 & int7 -> int8: the bathhouse pegs writer.; int8 -> int9: there is something such that it pegs writer.; int9 & sent5 -> int10: the apex does not peg ad.; int10 -> hypothesis;
$hypothesis$ = there exists something such that it does not peg ad. ; $context$ = sent1: if the fact that the worksheet is not Mishnaic and it is not a strawman does not hold then it is moneyless. sent2: the y-axis does not reward Crow. sent3: that something is a kind of a sub-assembly is correct if it does advise. sent4: something does peg writer if that it is not a kind of a premeditation and it is not a folktale does not hold. sent5: the apex does not peg ad if something pegs writer. sent6: if the y-axis does not reward Crow it does advise. sent7: if the y-axis pegs writer it does reward Crow. sent8: the bathhouse is planographic if the y-axis is a sub-assembly. sent9: the bathhouse rewards Crow. sent10: The Crow does not reward y-axis. sent11: that the y-axis is a folktale but it does not advise is not right. sent12: if something is planographic then the fact that it is both not a premeditation and not a folktale is false. sent13: the apex rewards Crow. ; $proof$ = 
sent6 & sent2 -> int1: the y-axis does advise.; sent3 -> int2: the fact that if the fact that the y-axis advises is not incorrect then the y-axis is a sub-assembly is correct.; int1 & int2 -> int3: the y-axis is a kind of a sub-assembly.; int3 & sent8 -> int4: that the bathhouse is planographic is not wrong.; sent12 -> int5: the fact that the bathhouse is not a kind of a premeditation and it is not a kind of a folktale is wrong if that it is planographic is not incorrect.; int4 & int5 -> int6: the fact that the bathhouse is not a kind of a premeditation and is not a kind of a folktale is not right.; sent4 -> int7: if that the bathhouse is not a premeditation and it is not a folktale is incorrect then it does peg writer.; int6 & int7 -> int8: the bathhouse pegs writer.; int8 -> int9: there is something such that it pegs writer.; int9 & sent5 -> int10: the apex does not peg ad.; int10 -> hypothesis; __PROVED__