that that the katharobe is non-smoky but it does blink hold is incorrect.
sent1: the bullfight eulogizes pitprop if the plasterboard is corymbose and does not render intolerance. sent2: the bullfight does eulogize pitprop if the plasterboard is corymbose and does render intolerance. sent3: that the katharobe is non-smoky a blinks is false if the bullfight is a kind of a saddlecloth. sent4: the crackle does eulogize Westminster and is non-corymbose. sent5: if the deerberry does blink then the katharobe is non-smoky but it is a blink. sent6: if that the deerberry is a blinks and it is smoky is incorrect the bullfight does not blinks. sent7: the katharobe does not render intolerance. sent8: the katharobe is a blinks if the deerberry is a kind of a blinks. sent9: the plasterboard does not render Geophilus and is not a saddlecloth. sent10: if that something is a kind of a blinks that eulogizes pitprop is not true it is not a saddlecloth. sent11: if something is not a kind of a saddlecloth the fact that it does not render intolerance hold. sent12: that something does blink and it is smoky is wrong if it does not render Geophilus. sent13: the plasterboard does not render Geophilus. sent14: the deerberry is both not a southeast and smoky. sent15: if the plasterboard is not a kind of a saddlecloth then that it does not render intolerance is true. sent16: if something is not a saddlecloth then it is corymbose and does not render intolerance. sent17: the plasterboard does not render intolerance. sent18: the fact that the deerberry does blink is true if the bullfight eulogizes pitprop.
sent16 -> int1: the plasterboard is corymbose and does not render intolerance if it is not a kind of a saddlecloth.; sent9 -> int2: the fact that the plasterboard is not a kind of a saddlecloth is not incorrect.; int1 & int2 -> int3: the plasterboard is corymbose but it does not render intolerance.; int3 & sent1 -> int4: the bullfight does eulogize pitprop.; int4 & sent18 -> int5: the deerberry blinks.; int5 & sent5 -> hypothesis;
that the katharobe is a kind of non-smoky thing that does blink is wrong.
$hypothesis$ = that that the katharobe is non-smoky but it does blink hold is incorrect. ; $context$ = sent1: the bullfight eulogizes pitprop if the plasterboard is corymbose and does not render intolerance. sent2: the bullfight does eulogize pitprop if the plasterboard is corymbose and does render intolerance. sent3: that the katharobe is non-smoky a blinks is false if the bullfight is a kind of a saddlecloth. sent4: the crackle does eulogize Westminster and is non-corymbose. sent5: if the deerberry does blink then the katharobe is non-smoky but it is a blink. sent6: if that the deerberry is a blinks and it is smoky is incorrect the bullfight does not blinks. sent7: the katharobe does not render intolerance. sent8: the katharobe is a blinks if the deerberry is a kind of a blinks. sent9: the plasterboard does not render Geophilus and is not a saddlecloth. sent10: if that something is a kind of a blinks that eulogizes pitprop is not true it is not a saddlecloth. sent11: if something is not a kind of a saddlecloth the fact that it does not render intolerance hold. sent12: that something does blink and it is smoky is wrong if it does not render Geophilus. sent13: the plasterboard does not render Geophilus. sent14: the deerberry is both not a southeast and smoky. sent15: if the plasterboard is not a kind of a saddlecloth then that it does not render intolerance is true. sent16: if something is not a saddlecloth then it is corymbose and does not render intolerance. sent17: the plasterboard does not render intolerance. sent18: the fact that the deerberry does blink is true if the bullfight eulogizes pitprop. ; $proof$ = 
sent16 -> int1: the plasterboard is corymbose and does not render intolerance if it is not a kind of a saddlecloth.; sent9 -> int2: the fact that the plasterboard is not a kind of a saddlecloth is not incorrect.; int1 & int2 -> int3: the plasterboard is corymbose but it does not render intolerance.; int3 & sent1 -> int4: the bullfight does eulogize pitprop.; int4 & sent18 -> int5: the deerberry blinks.; int5 & sent5 -> hypothesis; __DISPROVED__