that there exists something such that it does not succumb and it shanks is incorrect.
sent1: if the Rotarian is spherical then the bonesetter is spherical. sent2: the Rotarian does succumb. sent3: the streptothricin is not spherical but it is a module. sent4: if the roisterer succumbs the con is not a note. sent5: the roisterer is not a plaiter and does besot Manduca. sent6: that something succumbs and it shanks is not incorrect. sent7: the con besots streptothricin. sent8: the streptothricin is a module and it does besot flap. sent9: the bonesetter is not spherical if the streptothricin is a module that is a note. sent10: the Rotarian is a module. sent11: there is something such that it is not spherical and is a note. sent12: the Rotarian is spherical. sent13: if the roisterer does succumb and does note the streptothricin is not spherical. sent14: the streptothricin is a module. sent15: that the roisterer does succumb and it shanks is wrong. sent16: the streptothricin is a module and a note if that the con is not a note is correct. sent17: something does not succumb. sent18: the fact that if that the roisterer does not succumb and is a kind of a shank is false the con does not note hold. sent19: the fact that the roisterer does not succumb is correct. sent20: there exists something such that it is not a module and it is spherical. sent21: the Jacobean is a note. sent22: that the streptothricin is a kind of a module is not wrong if the con is not a note. sent23: the bonesetter is spherical if the fact that the con is spherical hold. sent24: something is a kind of a shank.
void -> assump1: Let's assume that the fact that the roisterer does not succumb but it is a shank does not hold.; sent18 & assump1 -> int1: the con is not a kind of a note.; int1 & sent16 -> int2: the streptothricin is a module that is a kind of a note.; int2 & sent9 -> int3: the bonesetter is not spherical.; sent1 & sent12 -> int4: the bonesetter is spherical.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the roisterer does not succumb but it does shank.; int6 -> hypothesis;
$hypothesis$ = that there exists something such that it does not succumb and it shanks is incorrect. ; $context$ = sent1: if the Rotarian is spherical then the bonesetter is spherical. sent2: the Rotarian does succumb. sent3: the streptothricin is not spherical but it is a module. sent4: if the roisterer succumbs the con is not a note. sent5: the roisterer is not a plaiter and does besot Manduca. sent6: that something succumbs and it shanks is not incorrect. sent7: the con besots streptothricin. sent8: the streptothricin is a module and it does besot flap. sent9: the bonesetter is not spherical if the streptothricin is a module that is a note. sent10: the Rotarian is a module. sent11: there is something such that it is not spherical and is a note. sent12: the Rotarian is spherical. sent13: if the roisterer does succumb and does note the streptothricin is not spherical. sent14: the streptothricin is a module. sent15: that the roisterer does succumb and it shanks is wrong. sent16: the streptothricin is a module and a note if that the con is not a note is correct. sent17: something does not succumb. sent18: the fact that if that the roisterer does not succumb and is a kind of a shank is false the con does not note hold. sent19: the fact that the roisterer does not succumb is correct. sent20: there exists something such that it is not a module and it is spherical. sent21: the Jacobean is a note. sent22: that the streptothricin is a kind of a module is not wrong if the con is not a note. sent23: the bonesetter is spherical if the fact that the con is spherical hold. sent24: something is a kind of a shank. ; $proof$ = 
void -> assump1: Let's assume that the fact that the roisterer does not succumb but it is a shank does not hold.; sent18 & assump1 -> int1: the con is not a kind of a note.; int1 & sent16 -> int2: the streptothricin is a module that is a kind of a note.; int2 & sent9 -> int3: the bonesetter is not spherical.; sent1 & sent12 -> int4: the bonesetter is spherical.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the roisterer does not succumb but it does shank.; int6 -> hypothesis; __DISPROVED__