the fact that the teamster is not dulled hold.
sent1: if the inositol is propulsive then it basks much. sent2: if the teamster is neural then it is an estrogen. sent3: the teamster is neural if that it is a kind of a retread is true. sent4: if the President does bask much then the inositol is a kind of a refreshment and/or it does bask much. sent5: the President does bask much if the teamster is an estrogen. sent6: the teamster is neural if the fact that that it does not dull and it does not retread is not incorrect does not hold. sent7: the inositol is both propulsive and a sandman. sent8: the fact that something does not bask much and is not neural is not right if it is not propulsive. sent9: if the President basks much the inositol either is a kind of a refreshment or does not basks much or both. sent10: the illuminant deplores President and is a kind of a bench if the teamster is not an estrogen.
void -> assump1: Let's assume that the fact that the teamster is not dulled and not a retread does not hold.; sent6 & assump1 -> int1: the teamster is neural.; int1 & sent2 -> int2: the teamster is an estrogen.; int2 & sent5 -> int3: that the President does bask much is right.; int3 & sent9 -> int4: the fact that the inositol is a kind of a refreshment and/or does not bask much is not wrong.; sent7 -> int5: the inositol is propulsive.;
the illuminant does deplore President and it is a bench.
sent8 -> int6: that the President does not bask much and is not neural is not true if it is not propulsive.;
$hypothesis$ = the fact that the teamster is not dulled hold. ; $context$ = sent1: if the inositol is propulsive then it basks much. sent2: if the teamster is neural then it is an estrogen. sent3: the teamster is neural if that it is a kind of a retread is true. sent4: if the President does bask much then the inositol is a kind of a refreshment and/or it does bask much. sent5: the President does bask much if the teamster is an estrogen. sent6: the teamster is neural if the fact that that it does not dull and it does not retread is not incorrect does not hold. sent7: the inositol is both propulsive and a sandman. sent8: the fact that something does not bask much and is not neural is not right if it is not propulsive. sent9: if the President basks much the inositol either is a kind of a refreshment or does not basks much or both. sent10: the illuminant deplores President and is a kind of a bench if the teamster is not an estrogen. ; $proof$ = 
void -> assump1: Let's assume that the fact that the teamster is not dulled and not a retread does not hold.; sent6 & assump1 -> int1: the teamster is neural.; int1 & sent2 -> int2: the teamster is an estrogen.; int2 & sent5 -> int3: that the President does bask much is right.; int3 & sent9 -> int4: the fact that the inositol is a kind of a refreshment and/or does not bask much is not wrong.; sent7 -> int5: the inositol is propulsive.; __UNKNOWN__