the rum is not unrhetorical.
sent1: the believer is a bock. sent2: the believer is a goby if there is something such that the fact that it is not a kind of a goby and it is not toeless is not right. sent3: something is a bock. sent4: a tender thing is not a headfast. sent5: something is a tender if it is a kind of a esmolol. sent6: if a reproducible thing does not refer the fact that it does not lysogenize thinker is not false. sent7: the rum is not a bock if a griddle is not rhetorical. sent8: if that something either is not a bock or griddles or both is incorrect then it is not unrhetorical. sent9: something is a kind of a metacenter. sent10: if something does lysogenize monohydrate it is a tender. sent11: the fact that the rum is not a kind of a goby and it is not toeless is incorrect if there is something such that that it is not a kind of a headfast is not false. sent12: the believer is a griddle. sent13: if something is a griddle it is unrhetorical. sent14: if there exists something such that it griddles and is a bock the rum is not unrhetorical. sent15: everything is not unreproducible and it does not refer. sent16: something lysogenizes monohydrate or it is a kind of a esmolol or both if it does not lysogenize thinker. sent17: if the believer is a kind of a goby the fact that the ferment is not a kind of a bock and/or does griddle is incorrect.
sent12 & sent1 -> int1: the believer is both a griddle and a bock.; int1 -> int2: something is a griddle and is a bock.; int2 & sent14 -> hypothesis;
the ferment is not unrhetorical.
sent5 -> int3: if the tarn is a esmolol it tenders.; sent16 -> int4: that the Wisconsinite lysogenizes monohydrate or it is the esmolol or both if the Wisconsinite does not lysogenize thinker hold.; sent15 -> int5: the Wisconsinite is not unreproducible and it does not refer.; sent6 -> int6: if the Wisconsinite is not unreproducible and it does not refer it does not lysogenize thinker.; int5 & int6 -> int7: the fact that the Wisconsinite does not lysogenize thinker hold.; int4 & int7 -> int8: the Wisconsinite lysogenizes monohydrate and/or it is a esmolol.; int8 -> int9: either everything does lysogenize monohydrate or it is a esmolol or both.; int9 -> int10: the tarn lysogenizes monohydrate and/or is a esmolol.; sent10 -> int11: if the tarn does lysogenize monohydrate it does tender.; int3 & int10 & int11 -> int12: the tarn does tender.; sent4 -> int13: the tarn is not a kind of a headfast if it is tender.; int12 & int13 -> int14: the tarn is not a headfast.; int14 -> int15: there is something such that it is not a headfast.; int15 & sent11 -> int16: that the fact that the rum is both not a goby and not toeless is right is not correct.; int16 -> int17: there is something such that that it is not a goby and it is not toeless is incorrect.; sent2 & int17 -> int18: the believer is a goby.; sent17 & int18 -> int19: the fact that the ferment is not a kind of a bock or it is a griddle or both does not hold.; sent8 -> int20: if the fact that either the ferment is not a bock or it is a griddle or both is not right it is not unrhetorical.; int19 & int20 -> hypothesis;
$hypothesis$ = the rum is not unrhetorical. ; $context$ = sent1: the believer is a bock. sent2: the believer is a goby if there is something such that the fact that it is not a kind of a goby and it is not toeless is not right. sent3: something is a bock. sent4: a tender thing is not a headfast. sent5: something is a tender if it is a kind of a esmolol. sent6: if a reproducible thing does not refer the fact that it does not lysogenize thinker is not false. sent7: the rum is not a bock if a griddle is not rhetorical. sent8: if that something either is not a bock or griddles or both is incorrect then it is not unrhetorical. sent9: something is a kind of a metacenter. sent10: if something does lysogenize monohydrate it is a tender. sent11: the fact that the rum is not a kind of a goby and it is not toeless is incorrect if there is something such that that it is not a kind of a headfast is not false. sent12: the believer is a griddle. sent13: if something is a griddle it is unrhetorical. sent14: if there exists something such that it griddles and is a bock the rum is not unrhetorical. sent15: everything is not unreproducible and it does not refer. sent16: something lysogenizes monohydrate or it is a kind of a esmolol or both if it does not lysogenize thinker. sent17: if the believer is a kind of a goby the fact that the ferment is not a kind of a bock and/or does griddle is incorrect. ; $proof$ = 
sent12 & sent1 -> int1: the believer is both a griddle and a bock.; int1 -> int2: something is a griddle and is a bock.; int2 & sent14 -> hypothesis; __PROVED__