the gangrene does rewrite Roccus.
sent1: either something is a kind of a Confucian or it does not rewrite lip or both if it is not a pothook. sent2: the trackball does not rewrite honorific but it is unapproachable if it does not sophisticate sturgeon. sent3: if that that the gangrene rewrites Lufkin and is tragic does not hold is not false then the cardiograph is not a pothook. sent4: if that something is both not papery and not bubonic is not correct it is a Chardonnay. sent5: if the fact that something does not rewrite lip and/or it is a pothook is not correct then that it does not rewrite Roccus is true. sent6: that something is Confucian and it is perianal is not true if it does not rewrite Roccus. sent7: if the gangrene is a Anasa that the sericulture does not rewrite lip and/or is a pothook is not true. sent8: the sericulture is not a kind of a polack and is not a kind of a Chardonnay if the re is not bubonic. sent9: if there is something such that it is Confucian or does not rewrite lip or both the fact that the sericulture is a Anasa hold. sent10: the sericulture is not a Anasa. sent11: the trackball does not sophisticate sturgeon. sent12: that the fact that the re is not papery and it is not bubonic hold is wrong if that the trackball is not apologetics hold. sent13: if the cardiograph is a kind of a Anasa that the gangrene is a kind of a Anasa is right. sent14: if that something is a kind of a pothook and is not a Confucian is incorrect then it does not rewrite Roccus. sent15: if the re is not bubonic or is apologetics or both it is bubonic. sent16: the re either is not bubonic or is apologetics or both. sent17: if the sericulture is not a kind of a polack then that that the cardiograph does not rewrite lip and is not a Anasa hold is incorrect. sent18: the trackball is not apologetics if it does not rewrite honorific and it is unapproachable.
void -> assump1: Let's assume that the gangrene does not rewrite Roccus.; sent1 -> int1: if the cardiograph is not a kind of a pothook then it is a kind of a Confucian or does not rewrite lip or both.;
that the sericulture is a Confucian and it is perianal is wrong.
sent6 -> int2: that the sericulture is a Confucian and it is perianal is not right if it does not rewrite Roccus.; sent5 -> int3: if the fact that the sericulture does not rewrite lip or is a kind of a pothook or both does not hold it does not rewrite Roccus.; sent4 -> int4: if the fact that the re is not papery and it is non-bubonic is false it is a Chardonnay.; sent2 & sent11 -> int5: the trackball does not rewrite honorific and is unapproachable.; sent18 & int5 -> int6: the trackball is not apologetics.; sent12 & int6 -> int7: the fact that the re is a kind of non-papery thing that is not bubonic is false.; int4 & int7 -> int8: the re is a Chardonnay.; int8 -> int9: the fact that there is something such that it is a Chardonnay is not incorrect.;
$hypothesis$ = the gangrene does rewrite Roccus. ; $context$ = sent1: either something is a kind of a Confucian or it does not rewrite lip or both if it is not a pothook. sent2: the trackball does not rewrite honorific but it is unapproachable if it does not sophisticate sturgeon. sent3: if that that the gangrene rewrites Lufkin and is tragic does not hold is not false then the cardiograph is not a pothook. sent4: if that something is both not papery and not bubonic is not correct it is a Chardonnay. sent5: if the fact that something does not rewrite lip and/or it is a pothook is not correct then that it does not rewrite Roccus is true. sent6: that something is Confucian and it is perianal is not true if it does not rewrite Roccus. sent7: if the gangrene is a Anasa that the sericulture does not rewrite lip and/or is a pothook is not true. sent8: the sericulture is not a kind of a polack and is not a kind of a Chardonnay if the re is not bubonic. sent9: if there is something such that it is Confucian or does not rewrite lip or both the fact that the sericulture is a Anasa hold. sent10: the sericulture is not a Anasa. sent11: the trackball does not sophisticate sturgeon. sent12: that the fact that the re is not papery and it is not bubonic hold is wrong if that the trackball is not apologetics hold. sent13: if the cardiograph is a kind of a Anasa that the gangrene is a kind of a Anasa is right. sent14: if that something is a kind of a pothook and is not a Confucian is incorrect then it does not rewrite Roccus. sent15: if the re is not bubonic or is apologetics or both it is bubonic. sent16: the re either is not bubonic or is apologetics or both. sent17: if the sericulture is not a kind of a polack then that that the cardiograph does not rewrite lip and is not a Anasa hold is incorrect. sent18: the trackball is not apologetics if it does not rewrite honorific and it is unapproachable. ; $proof$ = 
void -> assump1: Let's assume that the gangrene does not rewrite Roccus.; sent1 -> int1: if the cardiograph is not a kind of a pothook then it is a kind of a Confucian or does not rewrite lip or both.; __UNKNOWN__