the toddy is not a contrapuntist.
sent1: the residue is a partsong if there exists something such that that it is not juridical and it is not a glebe is not right. sent2: the Zionist is not a kind of a Cetus if there is something such that it does not lobby and it is homologous. sent3: if something is a glebe the portfolio is a partsong. sent4: the toddy is a divination. sent5: the portfolio is a contrapuntist if there is something such that it is a kind of a glebe. sent6: if the residue is a partsong then the toddy is a kind of a contrapuntist. sent7: the portfolio is a partsong if there is something such that the fact that it is not juridical and is not a kind of a glebe is not true. sent8: if something is a kind of a buckeye but it does not disembowel rectus then the felucca is not pro-choice. sent9: that that the portfolio is not juridical and not a glebe is not true is right. sent10: that the portfolio is not a partsong and is a glebe is not right. sent11: something is both not a lobby and homologous. sent12: the residue is a contrapuntist if there exists something such that that it is both not a partsong and not juridical does not hold. sent13: the butch is a buckeye and does not disembowel rectus if there exists something such that it is not a Cetus. sent14: there is something such that the fact that it is a kind of non-juridical thing that is a partsong is wrong. sent15: if that there is something such that it is a kind of a contrapuntist is right the toddy is juridical.
sent9 -> int1: there exists something such that that it is non-juridical thing that is not a kind of a glebe is not correct.; int1 & sent1 -> int2: the residue is a partsong.; sent6 & int2 -> hypothesis;
the toddy is not a contrapuntist.
sent11 & sent2 -> int3: the Zionist is not a kind of a Cetus.; int3 -> int4: there exists something such that it is not a kind of a Cetus.; int4 & sent13 -> int5: the butch is a buckeye but it does not disembowel rectus.; int5 -> int6: there exists something such that it is a kind of a buckeye that does not disembowel rectus.; int6 & sent8 -> int7: the felucca is not pro-choice.; int7 -> int8: there exists something such that it is not pro-choice.;
$hypothesis$ = the toddy is not a contrapuntist. ; $context$ = sent1: the residue is a partsong if there exists something such that that it is not juridical and it is not a glebe is not right. sent2: the Zionist is not a kind of a Cetus if there is something such that it does not lobby and it is homologous. sent3: if something is a glebe the portfolio is a partsong. sent4: the toddy is a divination. sent5: the portfolio is a contrapuntist if there is something such that it is a kind of a glebe. sent6: if the residue is a partsong then the toddy is a kind of a contrapuntist. sent7: the portfolio is a partsong if there is something such that the fact that it is not juridical and is not a kind of a glebe is not true. sent8: if something is a kind of a buckeye but it does not disembowel rectus then the felucca is not pro-choice. sent9: that that the portfolio is not juridical and not a glebe is not true is right. sent10: that the portfolio is not a partsong and is a glebe is not right. sent11: something is both not a lobby and homologous. sent12: the residue is a contrapuntist if there exists something such that that it is both not a partsong and not juridical does not hold. sent13: the butch is a buckeye and does not disembowel rectus if there exists something such that it is not a Cetus. sent14: there is something such that the fact that it is a kind of non-juridical thing that is a partsong is wrong. sent15: if that there is something such that it is a kind of a contrapuntist is right the toddy is juridical. ; $proof$ = 
sent9 -> int1: there exists something such that that it is non-juridical thing that is not a kind of a glebe is not correct.; int1 & sent1 -> int2: the residue is a partsong.; sent6 & int2 -> hypothesis; __DISPROVED__