the gladiolus does not disembowel rabbit.
sent1: if the Catholic is non-cerebrospinal the fact that it yields ETA and it is not noncyclic hold. sent2: the Catholic is not cerebrospinal. sent3: if a trichloroethylene is a comfortableness the cyanide is not noncyclic. sent4: the gladiolus does naturalize. sent5: if there is something such that it disembowels rabbit and does naturalize the breechblock is a comfortableness. sent6: if the Catholic does yield ETA but it is not noncyclic then the cyanide is noncyclic. sent7: if something is not noncyclic or it is a trichloroethylene or both it does not naturalize. sent8: if something misdeals then it is a trichloroethylene. sent9: that something is fictional and it is a comfortableness hold if it does not disembowel rabbit.
void -> assump1: Let's assume that the fact that the gladiolus does not disembowel rabbit is not right.; assump1 & sent4 -> int1: the gladiolus does disembowel rabbit and naturalizes.; int1 -> int2: something disembowels rabbit and it does naturalize.; int2 & sent5 -> int3: that the breechblock is a kind of a comfortableness is true.; sent8 -> int4: if the breechblock misdeals then it is a kind of a trichloroethylene.; sent1 & sent2 -> int5: the Catholic yields ETA but it is not noncyclic.; sent6 & int5 -> int6: the cyanide is noncyclic.;
the sundew is fictional and a comfortableness.
sent9 -> int7: the sundew is both fictional and a comfortableness if it does not disembowel rabbit.; sent7 -> int8: the gladiolus does not naturalize if it is not noncyclic or it is a kind of a trichloroethylene or both.;
$hypothesis$ = the gladiolus does not disembowel rabbit. ; $context$ = sent1: if the Catholic is non-cerebrospinal the fact that it yields ETA and it is not noncyclic hold. sent2: the Catholic is not cerebrospinal. sent3: if a trichloroethylene is a comfortableness the cyanide is not noncyclic. sent4: the gladiolus does naturalize. sent5: if there is something such that it disembowels rabbit and does naturalize the breechblock is a comfortableness. sent6: if the Catholic does yield ETA but it is not noncyclic then the cyanide is noncyclic. sent7: if something is not noncyclic or it is a trichloroethylene or both it does not naturalize. sent8: if something misdeals then it is a trichloroethylene. sent9: that something is fictional and it is a comfortableness hold if it does not disembowel rabbit. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gladiolus does not disembowel rabbit is not right.; assump1 & sent4 -> int1: the gladiolus does disembowel rabbit and naturalizes.; int1 -> int2: something disembowels rabbit and it does naturalize.; int2 & sent5 -> int3: that the breechblock is a kind of a comfortableness is true.; sent8 -> int4: if the breechblock misdeals then it is a kind of a trichloroethylene.; sent1 & sent2 -> int5: the Catholic yields ETA but it is not noncyclic.; sent6 & int5 -> int6: the cyanide is noncyclic.; __UNKNOWN__