the fact that the threat is shut but it is not a BMR is false.
sent1: the redhorse is not shut but it does shine hug. sent2: the redhorse is not unfrozen. sent3: if the plodder is not a legalese it is not a Epimedium and it is a seeking. sent4: the stableman is a timework that is credible. sent5: if the pulse is a legalese and/or it reddens chafing then the plodder is not a legalese. sent6: if the threat does not redden cooling the fact that it is non-shut thing that is a kind of a BMR is false. sent7: that the threat is a kind of a thrust that is a BMR is not correct. sent8: if the redhorse is not unfrozen that it is a fudge and it does redden cooling is false. sent9: the fact that the threat is a fudge that is not a BMR does not hold if the redhorse is not a BMR. sent10: the fact that the threat is shut and it is a BMR does not hold if the redhorse is not a kind of a BMR. sent11: that the threat is both shut and not a BMR is incorrect if the redhorse is not a kind of a BMR. sent12: the stableman does not shine Cyrus but it is a kind of a princess if it is credible. sent13: the fact that the redhorse is not a kind of a fudge and reddens cooling does not hold if it is not unfrozen. sent14: the threat is a thrust that is not unfrozen if the fact that the redhorse does shine hug is correct. sent15: the pulse does redden chafing if the stableman does not shine Cyrus and is a princess. sent16: the redhorse is a kind of a thrust. sent17: the redhorse is not a kind of a fudge if it is not a Leonardo. sent18: if something that is a kind of a thrust is a Leonardo it is not a BMR.
void -> assump1: Let's assume that the redhorse is not a Leonardo.; sent13 & sent2 -> int1: that the redhorse does not fudge but it reddens cooling does not hold.; sent18 -> int2: the redhorse is not a BMR if it is a thrust and it is a Leonardo.;
the threat is shut but it is not a kind of a BMR.
sent4 -> int3: the stableman is credible.; sent12 & int3 -> int4: the stableman does not shine Cyrus but it is a princess.; sent15 & int4 -> int5: the fact that the pulse reddens chafing is correct.; int5 -> int6: the pulse is a kind of a legalese and/or it reddens chafing.; sent5 & int6 -> int7: the plodder is not a legalese.; sent3 & int7 -> int8: the plodder is not a Epimedium but it does seek.; int8 -> int9: there exists something such that it is not a kind of a Epimedium and it is a seeking.;
$hypothesis$ = the fact that the threat is shut but it is not a BMR is false. ; $context$ = sent1: the redhorse is not shut but it does shine hug. sent2: the redhorse is not unfrozen. sent3: if the plodder is not a legalese it is not a Epimedium and it is a seeking. sent4: the stableman is a timework that is credible. sent5: if the pulse is a legalese and/or it reddens chafing then the plodder is not a legalese. sent6: if the threat does not redden cooling the fact that it is non-shut thing that is a kind of a BMR is false. sent7: that the threat is a kind of a thrust that is a BMR is not correct. sent8: if the redhorse is not unfrozen that it is a fudge and it does redden cooling is false. sent9: the fact that the threat is a fudge that is not a BMR does not hold if the redhorse is not a BMR. sent10: the fact that the threat is shut and it is a BMR does not hold if the redhorse is not a kind of a BMR. sent11: that the threat is both shut and not a BMR is incorrect if the redhorse is not a kind of a BMR. sent12: the stableman does not shine Cyrus but it is a kind of a princess if it is credible. sent13: the fact that the redhorse is not a kind of a fudge and reddens cooling does not hold if it is not unfrozen. sent14: the threat is a thrust that is not unfrozen if the fact that the redhorse does shine hug is correct. sent15: the pulse does redden chafing if the stableman does not shine Cyrus and is a princess. sent16: the redhorse is a kind of a thrust. sent17: the redhorse is not a kind of a fudge if it is not a Leonardo. sent18: if something that is a kind of a thrust is a Leonardo it is not a BMR. ; $proof$ = 
void -> assump1: Let's assume that the redhorse is not a Leonardo.; sent13 & sent2 -> int1: that the redhorse does not fudge but it reddens cooling does not hold.; sent18 -> int2: the redhorse is not a BMR if it is a thrust and it is a Leonardo.; __UNKNOWN__