the pyrogallol is not symptomatic.
sent1: the boudoir is toll-free if that it is not a kind of a yip and/or it is not a dibucaine is wrong. sent2: that the boudoir is both toll-free and a spruce is wrong. sent3: if the boudoir is not a kind of a dibucaine the pyrogallol is non-symptomatic. sent4: if there exists something such that the fact that it bespots oxeye and is toll-free does not hold then the angler does not bespots oxeye. sent5: that the boudoir does bespot oxeye and is toll-free is wrong if there exists something such that it is a kind of a spruce. sent6: if the boudoir is not a yip then the pyrogallol is symptomatic. sent7: if the boudoir is not a kind of a yip the pyrogallol is not symptomatic.
void -> assump1: Let's assume that the fact that the boudoir is not a yip or it is not a kind of a dibucaine or both is wrong.; sent1 & assump1 -> int1: the boudoir is toll-free.;
the angler does not bespot oxeye and/or it is not symptomatic.
$hypothesis$ = the pyrogallol is not symptomatic. ; $context$ = sent1: the boudoir is toll-free if that it is not a kind of a yip and/or it is not a dibucaine is wrong. sent2: that the boudoir is both toll-free and a spruce is wrong. sent3: if the boudoir is not a kind of a dibucaine the pyrogallol is non-symptomatic. sent4: if there exists something such that the fact that it bespots oxeye and is toll-free does not hold then the angler does not bespots oxeye. sent5: that the boudoir does bespot oxeye and is toll-free is wrong if there exists something such that it is a kind of a spruce. sent6: if the boudoir is not a yip then the pyrogallol is symptomatic. sent7: if the boudoir is not a kind of a yip the pyrogallol is not symptomatic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the boudoir is not a yip or it is not a kind of a dibucaine or both is wrong.; sent1 & assump1 -> int1: the boudoir is toll-free.; __UNKNOWN__