the erythromycin is not effortless.
sent1: that the exhibitor does ebb dialectic but it is unhealthful is wrong if it steepens exhibitor. sent2: The fertilization ebbs exhibitor. sent3: the exhibitor ebbs fertilization. sent4: there is something such that the fact that it does ebb fertilization and is effortless is not true. sent5: a effortful thing is a scrapbook and ebbs naming. sent6: if the chorizo ebbs fertilization the fact that the exhibitor is not a kind of a pentathlete and does steepen exhibitor is right. sent7: if there exists something such that that it is a scrapbook and it does benefice is not true the erythromycin is not effortless. sent8: the carbamate is not a pentathlete if that the exhibitor is not a pentathlete hold. sent9: if something is not a benefice the erythromycin is not effortless. sent10: if that something does ebb dialectic but it is not healthful is not correct it is a kind of a pentathlete. sent11: the fact that the chorizo is a kind of a scrapbook and it does benefice is not correct if it does not ebb naming. sent12: the exhibitor steepens exhibitor. sent13: the fact that the cello is not effortless is right. sent14: The exhibitor steepens exhibitor.
sent1 & sent12 -> int1: the fact that the exhibitor ebbs dialectic but it is not healthful is wrong.; sent10 -> int2: the fact that if that the exhibitor ebbs dialectic but it is not healthful is not true then the exhibitor is a kind of a pentathlete hold.; int1 & int2 -> int3: the exhibitor is a kind of a pentathlete.; int3 & sent3 -> int4: the exhibitor is a kind of a pentathlete and it does ebb fertilization.;
the carbamate is not a pentathlete.
sent5 -> int5: the cello is a kind of a scrapbook and ebbs naming if it is not effortless.; int5 & sent13 -> int6: the cello is a scrapbook and does ebb naming.; int6 -> int7: the cello does ebb naming.; int7 -> int8: there exists something such that it does ebb naming.;
$hypothesis$ = the erythromycin is not effortless. ; $context$ = sent1: that the exhibitor does ebb dialectic but it is unhealthful is wrong if it steepens exhibitor. sent2: The fertilization ebbs exhibitor. sent3: the exhibitor ebbs fertilization. sent4: there is something such that the fact that it does ebb fertilization and is effortless is not true. sent5: a effortful thing is a scrapbook and ebbs naming. sent6: if the chorizo ebbs fertilization the fact that the exhibitor is not a kind of a pentathlete and does steepen exhibitor is right. sent7: if there exists something such that that it is a scrapbook and it does benefice is not true the erythromycin is not effortless. sent8: the carbamate is not a pentathlete if that the exhibitor is not a pentathlete hold. sent9: if something is not a benefice the erythromycin is not effortless. sent10: if that something does ebb dialectic but it is not healthful is not correct it is a kind of a pentathlete. sent11: the fact that the chorizo is a kind of a scrapbook and it does benefice is not correct if it does not ebb naming. sent12: the exhibitor steepens exhibitor. sent13: the fact that the cello is not effortless is right. sent14: The exhibitor steepens exhibitor. ; $proof$ = 
sent1 & sent12 -> int1: the fact that the exhibitor ebbs dialectic but it is not healthful is wrong.; sent10 -> int2: the fact that if that the exhibitor ebbs dialectic but it is not healthful is not true then the exhibitor is a kind of a pentathlete hold.; int1 & int2 -> int3: the exhibitor is a kind of a pentathlete.; int3 & sent3 -> int4: the exhibitor is a kind of a pentathlete and it does ebb fertilization.; __UNKNOWN__