the BA blues plugged.
sent1: the deuteron does blue plugged if the tetrahymena does blue plugged. sent2: something does not blue asperity if that it is ungenerous and blue asperity is false. sent3: the tetrahymena is downmarket if that it is not an import and it is trustful does not hold. sent4: the fact that the tetrahymena is not an import but it is trustful is not true. sent5: there exists nothing that is a kind of ungenerous thing that blues asperity. sent6: the fact that something blues plugged and is not downmarket is not right if it does not blue asperity. sent7: the BA blues plugged if the tetrahymena is downmarket.
sent3 & sent4 -> int1: the tetrahymena is not non-downmarket.; sent7 & int1 -> hypothesis;
the deuteron does blue plugged.
$hypothesis$ = the BA blues plugged. ; $context$ = sent1: the deuteron does blue plugged if the tetrahymena does blue plugged. sent2: something does not blue asperity if that it is ungenerous and blue asperity is false. sent3: the tetrahymena is downmarket if that it is not an import and it is trustful does not hold. sent4: the fact that the tetrahymena is not an import but it is trustful is not true. sent5: there exists nothing that is a kind of ungenerous thing that blues asperity. sent6: the fact that something blues plugged and is not downmarket is not right if it does not blue asperity. sent7: the BA blues plugged if the tetrahymena is downmarket. ; $proof$ = 
sent3 & sent4 -> int1: the tetrahymena is not non-downmarket.; sent7 & int1 -> hypothesis; __PROVED__