the double burgeons and blackmails scriptorium.
sent1: the double blackmails scriptorium if that the doorframe does not burgeon is not incorrect. sent2: if something that is not hypertensive is nonfinancial it does not welter. sent3: if the pisser does welter then it blackmails pisser and it is not a Listera. sent4: the double burgeons and it blackmails scriptorium if the doorframe does not burgeons. sent5: the pisser welters. sent6: if the pisser welters the fact that it blackmails pisser is not incorrect. sent7: the fact that the doorframe does not burgeon if the pisser blackmails pisser but it is not a kind of a Listera is correct.
sent3 & sent5 -> int1: the pisser does blackmail pisser and is not a kind of a Listera.; sent7 & int1 -> int2: the doorframe does not burgeon.; sent4 & int2 -> hypothesis;
that the double burgeons and does blackmail scriptorium is not right.
sent2 -> int3: if the double is a kind of non-hypertensive thing that is nonfinancial then it does not welter.;
$hypothesis$ = the double burgeons and blackmails scriptorium. ; $context$ = sent1: the double blackmails scriptorium if that the doorframe does not burgeon is not incorrect. sent2: if something that is not hypertensive is nonfinancial it does not welter. sent3: if the pisser does welter then it blackmails pisser and it is not a Listera. sent4: the double burgeons and it blackmails scriptorium if the doorframe does not burgeons. sent5: the pisser welters. sent6: if the pisser welters the fact that it blackmails pisser is not incorrect. sent7: the fact that the doorframe does not burgeon if the pisser blackmails pisser but it is not a kind of a Listera is correct. ; $proof$ = 
sent3 & sent5 -> int1: the pisser does blackmail pisser and is not a kind of a Listera.; sent7 & int1 -> int2: the doorframe does not burgeon.; sent4 & int2 -> hypothesis; __PROVED__