the stent is bibliopolic.
sent1: the stent is a kind of an undesirable that does not stagnate if the epinephrine is not an undesirable. sent2: if the epinephrine is an undesirable then it is a kind of a soporific. sent3: if the stent is an undesirable but it does not stagnate then it is bibliopolic. sent4: the stent is bibliopolic if it is a kind of an undesirable and it stagnates. sent5: the epinephrine is not a soporific. sent6: the stent does not stagnate.
void -> assump1: Let's assume that the epinephrine is an undesirable.; sent2 & assump1 -> int1: the epinephrine is a kind of a soporific.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the epinephrine is not a kind of an undesirable.; int3 & sent1 -> int4: the stent is an undesirable but it does not stagnate.; int4 & sent3 -> hypothesis;
$hypothesis$ = the stent is bibliopolic. ; $context$ = sent1: the stent is a kind of an undesirable that does not stagnate if the epinephrine is not an undesirable. sent2: if the epinephrine is an undesirable then it is a kind of a soporific. sent3: if the stent is an undesirable but it does not stagnate then it is bibliopolic. sent4: the stent is bibliopolic if it is a kind of an undesirable and it stagnates. sent5: the epinephrine is not a soporific. sent6: the stent does not stagnate. ; $proof$ = 
void -> assump1: Let's assume that the epinephrine is an undesirable.; sent2 & assump1 -> int1: the epinephrine is a kind of a soporific.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the epinephrine is not a kind of an undesirable.; int3 & sent1 -> int4: the stent is an undesirable but it does not stagnate.; int4 & sent3 -> hypothesis; __PROVED__