the tagasaste is a hassle.
sent1: the fact that the jetliner is not non-branchiate and does not outnumber skinned is not true if that the stoat does not outnumber skinned is not wrong. sent2: the cowherb is not alcoholic if that the jetliner is branchiate but it does not outnumber skinned does not hold. sent3: that the globe is both a Praetorian and unrecoverable does not hold. sent4: the fact that the tagasaste is not a hassle hold if the cowherb is not an alcoholic. sent5: the jetliner is not branchless. sent6: the fact that the globe is not Praetorian and it is not recoverable is not right. sent7: the epicardia is not a kind of a hassle if the stoat is both not branchiate and not a hassle. sent8: the stoat does not outnumber skinned if there is something such that the fact that it is not a Praetorian and is not recoverable does not hold. sent9: the fact that the jetliner outnumbers skinned and it is alcoholic is wrong. sent10: the sternpost is unrecoverable. sent11: the fact that the tagasaste is a hassle and is not a kind of an alcoholic does not hold.
sent6 -> int1: there exists something such that the fact that it is not a kind of a Praetorian and it is unrecoverable is not true.; int1 & sent8 -> int2: the stoat does not outnumber skinned.; sent1 & int2 -> int3: that the jetliner is branchiate and does not outnumber skinned is not true.; sent2 & int3 -> int4: the cowherb is not alcoholic.; sent4 & int4 -> hypothesis;
the epicardia is not a hassle.
$hypothesis$ = the tagasaste is a hassle. ; $context$ = sent1: the fact that the jetliner is not non-branchiate and does not outnumber skinned is not true if that the stoat does not outnumber skinned is not wrong. sent2: the cowherb is not alcoholic if that the jetliner is branchiate but it does not outnumber skinned does not hold. sent3: that the globe is both a Praetorian and unrecoverable does not hold. sent4: the fact that the tagasaste is not a hassle hold if the cowherb is not an alcoholic. sent5: the jetliner is not branchless. sent6: the fact that the globe is not Praetorian and it is not recoverable is not right. sent7: the epicardia is not a kind of a hassle if the stoat is both not branchiate and not a hassle. sent8: the stoat does not outnumber skinned if there is something such that the fact that it is not a Praetorian and is not recoverable does not hold. sent9: the fact that the jetliner outnumbers skinned and it is alcoholic is wrong. sent10: the sternpost is unrecoverable. sent11: the fact that the tagasaste is a hassle and is not a kind of an alcoholic does not hold. ; $proof$ = 
sent6 -> int1: there exists something such that the fact that it is not a kind of a Praetorian and it is unrecoverable is not true.; int1 & sent8 -> int2: the stoat does not outnumber skinned.; sent1 & int2 -> int3: that the jetliner is branchiate and does not outnumber skinned is not true.; sent2 & int3 -> int4: the cowherb is not alcoholic.; sent4 & int4 -> hypothesis; __DISPROVED__