the fact that the otoscope is a Rhone and it is unappealable does not hold.
sent1: the buckwheat is a neurobiology. sent2: the otoscope is a Rhone if the Mackem does not spiral inexpensiveness. sent3: if something is not a kind of a Rhone it is not a neurobiology. sent4: the Mackem does not spiral inexpensiveness if the buckwheat spirals evocation. sent5: if the fact that the buckwheat is not a neurobiology is not false then the cashmere hooks baste and/or does not spiral inexpensiveness. sent6: if the buckwheat is not a star-glory then the Mackem spirals inexpensiveness. sent7: the buckwheat spirals evocation and/or is not a kind of a star-glory if it is a neurobiology. sent8: the otoscope is a Rhone. sent9: the Mackem does not spiral inexpensiveness if that the buckwheat is not a star-glory hold. sent10: if the otoscope is calisthenic then that the Mackem hooks styracosaur is true. sent11: if there is something such that it is not a marathon then the otoscope is calisthenic. sent12: that the claystone is not a kind of a marathon is not wrong. sent13: if the Mackem does not spiral inexpensiveness then the otoscope is a kind of a Rhone that is unappealable.
sent7 & sent1 -> int1: either the buckwheat spirals evocation or it is not a star-glory or both.; int1 & sent4 & sent9 -> int2: the Mackem does not spiral inexpensiveness.; sent13 & int2 -> hypothesis;
the cashmere hooks baste and/or it does not spiral inexpensiveness.
sent3 -> int3: if the buckwheat is not a Rhone then it is not a neurobiology.; sent12 -> int4: there is something such that it is not a marathon.; int4 & sent11 -> int5: the otoscope is calisthenic.; sent10 & int5 -> int6: the Mackem does hook styracosaur.; int6 -> int7: there is something such that it does hook styracosaur.;
$hypothesis$ = the fact that the otoscope is a Rhone and it is unappealable does not hold. ; $context$ = sent1: the buckwheat is a neurobiology. sent2: the otoscope is a Rhone if the Mackem does not spiral inexpensiveness. sent3: if something is not a kind of a Rhone it is not a neurobiology. sent4: the Mackem does not spiral inexpensiveness if the buckwheat spirals evocation. sent5: if the fact that the buckwheat is not a neurobiology is not false then the cashmere hooks baste and/or does not spiral inexpensiveness. sent6: if the buckwheat is not a star-glory then the Mackem spirals inexpensiveness. sent7: the buckwheat spirals evocation and/or is not a kind of a star-glory if it is a neurobiology. sent8: the otoscope is a Rhone. sent9: the Mackem does not spiral inexpensiveness if that the buckwheat is not a star-glory hold. sent10: if the otoscope is calisthenic then that the Mackem hooks styracosaur is true. sent11: if there is something such that it is not a marathon then the otoscope is calisthenic. sent12: that the claystone is not a kind of a marathon is not wrong. sent13: if the Mackem does not spiral inexpensiveness then the otoscope is a kind of a Rhone that is unappealable. ; $proof$ = 
sent7 & sent1 -> int1: either the buckwheat spirals evocation or it is not a star-glory or both.; int1 & sent4 & sent9 -> int2: the Mackem does not spiral inexpensiveness.; sent13 & int2 -> hypothesis; __DISPROVED__