the cryocautery drapes.
sent1: the blackheart is not a draped. sent2: if the blackheart is cubital the cryocautery is a kind of cubital thing that is honorable. sent3: the blackheart spits if that it does uplift bean is true. sent4: the cryocautery is a kind of a eristic. sent5: if the blackheart is a spat then it is not non-cubital. sent6: if there is something such that that it is honorable and cubital does not hold the turnoff is not cubital. sent7: something is a spat if that it does not uplift bean and it is not arundinaceous is false. sent8: that the blackheart uplifts bean and is not arundinaceous does not hold. sent9: the cryocautery is a draped if it is not cubital. sent10: the fact that that the blackheart does not uplift bean and is not arundinaceous does not hold is not wrong. sent11: the cryocautery is a kind of a spat if it is cubital. sent12: the cryocautery is honorable. sent13: if the blackheart is cubital then the cryocautery is honorable. sent14: if something uplifts bean it does spit. sent15: if the fact that the fact that something does not spit but it is a draped hold does not hold it does not draped. sent16: if the cryocautery is a spat the bean is not a spat. sent17: if the fact that that the turnoff is not a kind of a draped but it is a spat is not incorrect is not right then the cryocautery spat.
sent7 -> int1: if the fact that the blackheart does not uplift bean and is not arundinaceous is wrong it spits.; int1 & sent10 -> int2: the blackheart is a spat.; int2 & sent5 -> int3: that the blackheart is cubital is not false.; int3 & sent2 -> int4: the cryocautery is non-cubital thing that is honorable.; int4 -> int5: the cryocautery is not cubital.; int5 & sent9 -> hypothesis;
the bean is arundinaceous.
$hypothesis$ = the cryocautery drapes. ; $context$ = sent1: the blackheart is not a draped. sent2: if the blackheart is cubital the cryocautery is a kind of cubital thing that is honorable. sent3: the blackheart spits if that it does uplift bean is true. sent4: the cryocautery is a kind of a eristic. sent5: if the blackheart is a spat then it is not non-cubital. sent6: if there is something such that that it is honorable and cubital does not hold the turnoff is not cubital. sent7: something is a spat if that it does not uplift bean and it is not arundinaceous is false. sent8: that the blackheart uplifts bean and is not arundinaceous does not hold. sent9: the cryocautery is a draped if it is not cubital. sent10: the fact that that the blackheart does not uplift bean and is not arundinaceous does not hold is not wrong. sent11: the cryocautery is a kind of a spat if it is cubital. sent12: the cryocautery is honorable. sent13: if the blackheart is cubital then the cryocautery is honorable. sent14: if something uplifts bean it does spit. sent15: if the fact that the fact that something does not spit but it is a draped hold does not hold it does not draped. sent16: if the cryocautery is a spat the bean is not a spat. sent17: if the fact that that the turnoff is not a kind of a draped but it is a spat is not incorrect is not right then the cryocautery spat. ; $proof$ = 
sent7 -> int1: if the fact that the blackheart does not uplift bean and is not arundinaceous is wrong it spits.; int1 & sent10 -> int2: the blackheart is a spat.; int2 & sent5 -> int3: that the blackheart is cubital is not false.; int3 & sent2 -> int4: the cryocautery is non-cubital thing that is honorable.; int4 -> int5: the cryocautery is not cubital.; int5 & sent9 -> hypothesis; __PROVED__