the slingback does not wrestle switcheroo.
sent1: the slingback wrestles polysyndeton if the bilirubin does not wrestles polysyndeton. sent2: if the slingback is not rhythmical then the hydrazine does cut. sent3: the fact that the slingback does grumble Netscape but it does not wrestle Bathyergidae is false. sent4: if the slingback is rhythmical thing that does wrestle polysyndeton it does not wrestle switcheroo. sent5: That the polysyndeton does not wrestle bilirubin is not wrong. sent6: the slingback grumbles Netscape. sent7: something does not wrestle Bathyergidae and wrestles polysyndeton if it is not brimless. sent8: something that does not wrestle Bathyergidae and does wrestle polysyndeton does not grumble Netscape. sent9: the slingback is a kind of rhythmical thing that does grumble Netscape. sent10: something does wrestle vanilla and it does wrestle polysyndeton if it does not wrestle switcheroo. sent11: if the slingback is a cutting the hydrazine is a kind of a cutting. sent12: if something does not grumble Netscape it wrestles switcheroo and is rhythmical. sent13: if something does not grumble Netscape then it is cutting and/or not rhythmical.
sent9 -> int1: the slingback is rhythmical.;
the hydrazine is not non-cutting and does wrestle vanilla.
sent10 -> int2: the bilirubin wrestles vanilla and it does wrestle polysyndeton if it does not wrestle switcheroo.; sent13 -> int3: the slingback is cutting and/or it is not rhythmical if the fact that it does not grumble Netscape is right.;
$hypothesis$ = the slingback does not wrestle switcheroo. ; $context$ = sent1: the slingback wrestles polysyndeton if the bilirubin does not wrestles polysyndeton. sent2: if the slingback is not rhythmical then the hydrazine does cut. sent3: the fact that the slingback does grumble Netscape but it does not wrestle Bathyergidae is false. sent4: if the slingback is rhythmical thing that does wrestle polysyndeton it does not wrestle switcheroo. sent5: That the polysyndeton does not wrestle bilirubin is not wrong. sent6: the slingback grumbles Netscape. sent7: something does not wrestle Bathyergidae and wrestles polysyndeton if it is not brimless. sent8: something that does not wrestle Bathyergidae and does wrestle polysyndeton does not grumble Netscape. sent9: the slingback is a kind of rhythmical thing that does grumble Netscape. sent10: something does wrestle vanilla and it does wrestle polysyndeton if it does not wrestle switcheroo. sent11: if the slingback is a cutting the hydrazine is a kind of a cutting. sent12: if something does not grumble Netscape it wrestles switcheroo and is rhythmical. sent13: if something does not grumble Netscape then it is cutting and/or not rhythmical. ; $proof$ = 
sent9 -> int1: the slingback is rhythmical.; __UNKNOWN__