the industrialist is not a tamanoir.
sent1: if the urolith does exempt then the fact that the industrialist does not destain Trento is true. sent2: that the industrialist is not a tamanoir is true if it is not autographic and it is not a knob. sent3: if the industrialist does gall procurer and destains Trento then it is not autographic. sent4: the acetylcholine is a kind of a Florentine. sent5: there is something such that the fact that it is a knob that is a prude is not right. sent6: if there is something such that the fact that it is both a knob and not a prude is not correct then the industrialist is not a knob. sent7: the industrialist is not a knob if something is a prude. sent8: if something that galls procurer does not destain Trento the fact that it is not autographic is true. sent9: there exists something such that the fact that it is a knob and not a prude is not right. sent10: something is a knob but it is not a kind of a prude. sent11: the industrialist does not destain Trento. sent12: the industrialist galls procurer but it does not destain Trento if the urolith exempts.
void -> assump1: Let's assume that the urolith is nonexempt.; sent8 -> int1: the industrialist is not autographic if it does gall procurer and it does not destain Trento.; sent9 & sent6 -> int2: the industrialist is not a kind of a knob.;
$hypothesis$ = the industrialist is not a tamanoir. ; $context$ = sent1: if the urolith does exempt then the fact that the industrialist does not destain Trento is true. sent2: that the industrialist is not a tamanoir is true if it is not autographic and it is not a knob. sent3: if the industrialist does gall procurer and destains Trento then it is not autographic. sent4: the acetylcholine is a kind of a Florentine. sent5: there is something such that the fact that it is a knob that is a prude is not right. sent6: if there is something such that the fact that it is both a knob and not a prude is not correct then the industrialist is not a knob. sent7: the industrialist is not a knob if something is a prude. sent8: if something that galls procurer does not destain Trento the fact that it is not autographic is true. sent9: there exists something such that the fact that it is a knob and not a prude is not right. sent10: something is a knob but it is not a kind of a prude. sent11: the industrialist does not destain Trento. sent12: the industrialist galls procurer but it does not destain Trento if the urolith exempts. ; $proof$ = 
void -> assump1: Let's assume that the urolith is nonexempt.; sent8 -> int1: the industrialist is not autographic if it does gall procurer and it does not destain Trento.; sent9 & sent6 -> int2: the industrialist is not a kind of a knob.; __UNKNOWN__