that the BIN is non-calceolate is not false.
sent1: if the overreaction is jawless then the wrestler recoups. sent2: the wrestler does recoup if the overreaction is processional. sent3: something that is not a kind of a saccule does recoup and is processional. sent4: something that recoups is not lengthwise. sent5: if the phlox is not an ally it is not a Ishmael and it is not a unimportance. sent6: if there exists something such that that it is a perturbation and it is not a Bermudan is not correct the wrestler is not Haitian. sent7: there is something such that that it is a perturbation and it is not Bermudan does not hold. sent8: if the phlox is not a Ishmael and it is not a unimportance then it is not jawless. sent9: the BIN is not calceolate if the wrestler is not a Haitian and it is not a kind of a saccule. sent10: something is not lengthwise if it is an ally. sent11: the phlox is not an ally. sent12: the fact that if there exists something such that it recoups then the sclerometer is jawless thing that allies is true. sent13: either the overreaction is jawless or it is a kind of a processional or both if the phlox is not jawless.
sent5 & sent11 -> int1: the phlox is not a Ishmael and is not a unimportance.; int1 & sent8 -> int2: the phlox is not jawless.; int2 & sent13 -> int3: the overreaction is jawless and/or it is processional.; int3 & sent1 & sent2 -> int4: the wrestler does recoup.; sent4 -> int5: if the wrestler does recoup it is not lengthwise.; int4 & int5 -> int6: the wrestler is not lengthwise.; sent7 & sent6 -> int7: the wrestler is not Haitian.;
the sclerometer is not lengthwise.
sent3 -> int8: the overreaction does recoup and is a processional if it is not a saccule.; sent10 -> int9: if the sclerometer allies then the fact that it is non-lengthwise hold.;
$hypothesis$ = that the BIN is non-calceolate is not false. ; $context$ = sent1: if the overreaction is jawless then the wrestler recoups. sent2: the wrestler does recoup if the overreaction is processional. sent3: something that is not a kind of a saccule does recoup and is processional. sent4: something that recoups is not lengthwise. sent5: if the phlox is not an ally it is not a Ishmael and it is not a unimportance. sent6: if there exists something such that that it is a perturbation and it is not a Bermudan is not correct the wrestler is not Haitian. sent7: there is something such that that it is a perturbation and it is not Bermudan does not hold. sent8: if the phlox is not a Ishmael and it is not a unimportance then it is not jawless. sent9: the BIN is not calceolate if the wrestler is not a Haitian and it is not a kind of a saccule. sent10: something is not lengthwise if it is an ally. sent11: the phlox is not an ally. sent12: the fact that if there exists something such that it recoups then the sclerometer is jawless thing that allies is true. sent13: either the overreaction is jawless or it is a kind of a processional or both if the phlox is not jawless. ; $proof$ = 
sent5 & sent11 -> int1: the phlox is not a Ishmael and is not a unimportance.; int1 & sent8 -> int2: the phlox is not jawless.; int2 & sent13 -> int3: the overreaction is jawless and/or it is processional.; int3 & sent1 & sent2 -> int4: the wrestler does recoup.; sent4 -> int5: if the wrestler does recoup it is not lengthwise.; int4 & int5 -> int6: the wrestler is not lengthwise.; sent7 & sent6 -> int7: the wrestler is not Haitian.; __UNKNOWN__