the marum is a kind of a blastomycete.
sent1: there exists something such that the fact that it is not a greenhouse and it is not a blastomycete does not hold. sent2: the handcar is not a discourse if the fact that the bedbug does not stab spell-checker and it is not a phentolamine is incorrect. sent3: that something is a Stalinization and is not annunciatory is not correct if the fact that it is not a kind of a discourse is not incorrect. sent4: if that something is a telecast and is not glabellar is incorrect it is not a telecast. sent5: the chou is not a kind of a Chirico. sent6: if there is something such that the fact that it does not gild sockeye and is not a kind of a greenhouse does not hold then the marum is a blastomycete. sent7: if something does not telecast it does destain and it is accordant. sent8: if something gilds sockeye the marum is a blastomycete. sent9: if there is something such that the fact that it is avitaminotic and is not subclinical is not correct then the eyeball does not telecast. sent10: if the chou is a rally the fact that it is avitaminotic and it is non-subclinical is false. sent11: the chou does rally if it is not a kind of a Chirico. sent12: if the lepidocrocite destains that the bedbug does not stab spell-checker and is not a kind of a phentolamine does not hold. sent13: the fact that the Fang does not gild sockeye and it is not a greenhouse does not hold. sent14: if there is something such that it is not a telecast the fact that the lepidocrocite is both a telecast and not glabellar is not right.
sent13 -> int1: there is something such that the fact that it does not gild sockeye and it is not greenhouse is wrong.; int1 & sent6 -> hypothesis;
the marum is not a kind of a blastomycete.
sent3 -> int2: that the handcar is a kind of a Stalinization but it is not annunciatory does not hold if it is not a kind of a discourse.; sent7 -> int3: the lepidocrocite does destain and is accordant if it is not a telecast.; sent4 -> int4: if that the lepidocrocite does telecast and is not glabellar is not right then it does not telecast.; sent11 & sent5 -> int5: the chou is a rally.; sent10 & int5 -> int6: that the chou is avitaminotic but it is not subclinical is incorrect.; int6 -> int7: there exists something such that that it is avitaminotic and it is not subclinical is not right.; int7 & sent9 -> int8: the eyeball is not a telecast.; int8 -> int9: there is something such that it is not a telecast.; int9 & sent14 -> int10: the fact that the lepidocrocite is a telecast but it is not glabellar is not correct.; int4 & int10 -> int11: the lepidocrocite is not a kind of a telecast.; int3 & int11 -> int12: the lepidocrocite destains and is accordant.; int12 -> int13: the lepidocrocite does destain.; sent12 & int13 -> int14: that the bedbug does not stab spell-checker and it is not a phentolamine does not hold.; sent2 & int14 -> int15: the handcar does not discourse.; int2 & int15 -> int16: that the handcar is a kind of a Stalinization that is not annunciatory is not true.; int16 -> int17: there exists something such that that it is both a Stalinization and not annunciatory does not hold.;
$hypothesis$ = the marum is a kind of a blastomycete. ; $context$ = sent1: there exists something such that the fact that it is not a greenhouse and it is not a blastomycete does not hold. sent2: the handcar is not a discourse if the fact that the bedbug does not stab spell-checker and it is not a phentolamine is incorrect. sent3: that something is a Stalinization and is not annunciatory is not correct if the fact that it is not a kind of a discourse is not incorrect. sent4: if that something is a telecast and is not glabellar is incorrect it is not a telecast. sent5: the chou is not a kind of a Chirico. sent6: if there is something such that the fact that it does not gild sockeye and is not a kind of a greenhouse does not hold then the marum is a blastomycete. sent7: if something does not telecast it does destain and it is accordant. sent8: if something gilds sockeye the marum is a blastomycete. sent9: if there is something such that the fact that it is avitaminotic and is not subclinical is not correct then the eyeball does not telecast. sent10: if the chou is a rally the fact that it is avitaminotic and it is non-subclinical is false. sent11: the chou does rally if it is not a kind of a Chirico. sent12: if the lepidocrocite destains that the bedbug does not stab spell-checker and is not a kind of a phentolamine does not hold. sent13: the fact that the Fang does not gild sockeye and it is not a greenhouse does not hold. sent14: if there is something such that it is not a telecast the fact that the lepidocrocite is both a telecast and not glabellar is not right. ; $proof$ = 
sent13 -> int1: there is something such that the fact that it does not gild sockeye and it is not greenhouse is wrong.; int1 & sent6 -> hypothesis; __PROVED__