the Excellency is a Rumex.
sent1: if the bistro is not a jar then the Excellency does jar and it is a kind of a Rumex. sent2: something is a lounge if it does permit sawwort. sent3: if that the solution is lumbosacral but it does not interpolate ember is wrong then the outback is not a lounge. sent4: the fact that the bistro does not jar is not false if something is a saraband. sent5: if the vasoconstrictor does not interpolate ember then the fact that the solution is lumbosacral but it does not interpolate ember is false. sent6: if the vasoconstrictor is heavy-duty it is a kind of a saraband. sent7: the Excellency jars and it is a lounge. sent8: the bistro is not a jar if there is something such that the fact that it does not interpolate ember and it is not a saraband is wrong. sent9: the outback permits sawwort if it is heavy-duty. sent10: the tapenade is a Rumex.
void -> assump1: Let's assume that the vasoconstrictor does not interpolate ember and it is not a saraband.; assump1 -> int1: the vasoconstrictor does not interpolate ember.; int1 & sent5 -> int2: that the solution is lumbosacral and does not interpolate ember does not hold.; int2 & sent3 -> int3: the outback is not a lounge.; sent2 -> int4: the outback does lounge if it does permit sawwort.;
$hypothesis$ = the Excellency is a Rumex. ; $context$ = sent1: if the bistro is not a jar then the Excellency does jar and it is a kind of a Rumex. sent2: something is a lounge if it does permit sawwort. sent3: if that the solution is lumbosacral but it does not interpolate ember is wrong then the outback is not a lounge. sent4: the fact that the bistro does not jar is not false if something is a saraband. sent5: if the vasoconstrictor does not interpolate ember then the fact that the solution is lumbosacral but it does not interpolate ember is false. sent6: if the vasoconstrictor is heavy-duty it is a kind of a saraband. sent7: the Excellency jars and it is a lounge. sent8: the bistro is not a jar if there is something such that the fact that it does not interpolate ember and it is not a saraband is wrong. sent9: the outback permits sawwort if it is heavy-duty. sent10: the tapenade is a Rumex. ; $proof$ = 
void -> assump1: Let's assume that the vasoconstrictor does not interpolate ember and it is not a saraband.; assump1 -> int1: the vasoconstrictor does not interpolate ember.; int1 & sent5 -> int2: that the solution is lumbosacral and does not interpolate ember does not hold.; int2 & sent3 -> int3: the outback is not a lounge.; sent2 -> int4: the outback does lounge if it does permit sawwort.; __UNKNOWN__