the bollock is a lithograph.
sent1: the LP is not mythic and it is not an interdiction. sent2: something is abyssal but it is not a kind of a lithograph if it is not mutagenic. sent3: the bollock lithographs if the cul is quadraphonic. sent4: the taoiseach is a private if the jerry-builder is a rhombohedron. sent5: the bollock is quadraphonic. sent6: something either is pharyngeal or is spermous or both if it is not an appearance. sent7: the fetishism is a Chickasaw if the burrito is a kind of non-oral thing that swelters murder. sent8: the Passamaquody is puerperal if the peacock is not non-spermous. sent9: the cul is both abyssal and mutagenic. sent10: that the cul is not a kind of a ridley and it is not quadraphonic is not correct if the buttinsky is a private. sent11: the pentail is not unimpressive if something is mythic. sent12: if the pentail is not pointless the burrito is not a kind of an oral but it swelters murder. sent13: if the jerry-builder is puerperal the taoiseach is a private. sent14: something is quadraphonic but it is not a ridley if it is mutagenic. sent15: if something is puerperal the jerry-builder is a kind of a rhombohedron and/or is puerperal. sent16: the fact that something is not a glipizide but it is pointless is incorrect if it is not unimpressive. sent17: if the LP is not mythic and it is not an interdiction the boy is mythic. sent18: the buttinsky is a private if the taoiseach is a kind of a private. sent19: if the fact that the fetishism is a Chickasaw is true the peacock is not an appearance and it is not a colony. sent20: the Passamaquody is puerperal if the peacock is pharyngeal. sent21: the cul is fugal thing that is not isolationist. sent22: if the fact that something is not a glipizide and is pointless is not correct then it is not pointless.
sent9 -> int1: the cul is mutagenic.; sent14 -> int2: if the cul is mutagenic then it is quadraphonic and it is not a kind of a ridley.; int1 & int2 -> int3: the cul is both quadraphonic and not a ridley.; int3 -> int4: the cul is quadraphonic.; int4 & sent3 -> hypothesis;
the bollock does not lithograph.
sent2 -> int5: the bollock is abyssal and is not a lithograph if it is not mutagenic.; sent6 -> int6: the peacock is pharyngeal and/or spermous if it is not a kind of an appearance.; sent22 -> int7: the pentail is not pointless if that it is both not a glipizide and pointless does not hold.; sent16 -> int8: the fact that the pentail is not a glipizide but it is pointless does not hold if it is not unimpressive.; sent17 & sent1 -> int9: the boy is mythic.; int9 -> int10: something is mythic.; int10 & sent11 -> int11: the pentail is impressive.; int8 & int11 -> int12: the fact that the fact that the pentail is both not a glipizide and pointless is not true hold.; int7 & int12 -> int13: the pentail is not pointless.; sent12 & int13 -> int14: the burrito is not an oral and swelters murder.; sent7 & int14 -> int15: the fetishism is a Chickasaw.; sent19 & int15 -> int16: the peacock is not an appearance and not a colony.; int16 -> int17: the peacock is not a kind of an appearance.; int6 & int17 -> int18: the peacock is pharyngeal or it is spermous or both.; int18 & sent20 & sent8 -> int19: the Passamaquody is puerperal.; int19 -> int20: there are puerperal things.; int20 & sent15 -> int21: the jerry-builder is a kind of a rhombohedron or it is puerperal or both.; int21 & sent4 & sent13 -> int22: the taoiseach is a kind of a private.; sent18 & int22 -> int23: the buttinsky is a private.; sent10 & int23 -> int24: the fact that the cul is both not a ridley and not quadraphonic is not true.; int24 -> int25: there exists something such that the fact that it is not a ridley and it is not quadraphonic does not hold.;
$hypothesis$ = the bollock is a lithograph. ; $context$ = sent1: the LP is not mythic and it is not an interdiction. sent2: something is abyssal but it is not a kind of a lithograph if it is not mutagenic. sent3: the bollock lithographs if the cul is quadraphonic. sent4: the taoiseach is a private if the jerry-builder is a rhombohedron. sent5: the bollock is quadraphonic. sent6: something either is pharyngeal or is spermous or both if it is not an appearance. sent7: the fetishism is a Chickasaw if the burrito is a kind of non-oral thing that swelters murder. sent8: the Passamaquody is puerperal if the peacock is not non-spermous. sent9: the cul is both abyssal and mutagenic. sent10: that the cul is not a kind of a ridley and it is not quadraphonic is not correct if the buttinsky is a private. sent11: the pentail is not unimpressive if something is mythic. sent12: if the pentail is not pointless the burrito is not a kind of an oral but it swelters murder. sent13: if the jerry-builder is puerperal the taoiseach is a private. sent14: something is quadraphonic but it is not a ridley if it is mutagenic. sent15: if something is puerperal the jerry-builder is a kind of a rhombohedron and/or is puerperal. sent16: the fact that something is not a glipizide but it is pointless is incorrect if it is not unimpressive. sent17: if the LP is not mythic and it is not an interdiction the boy is mythic. sent18: the buttinsky is a private if the taoiseach is a kind of a private. sent19: if the fact that the fetishism is a Chickasaw is true the peacock is not an appearance and it is not a colony. sent20: the Passamaquody is puerperal if the peacock is pharyngeal. sent21: the cul is fugal thing that is not isolationist. sent22: if the fact that something is not a glipizide and is pointless is not correct then it is not pointless. ; $proof$ = 
sent9 -> int1: the cul is mutagenic.; sent14 -> int2: if the cul is mutagenic then it is quadraphonic and it is not a kind of a ridley.; int1 & int2 -> int3: the cul is both quadraphonic and not a ridley.; int3 -> int4: the cul is quadraphonic.; int4 & sent3 -> hypothesis; __PROVED__