the bugbane is algal.
sent1: the bugbane is algal if the sensualist is a Zionist. sent2: if the expectorant is not leafy the sensualist is a brownie and it ammoniates menhaden. sent3: that the sensualist is a kind of a gemmule but it is not unenforceable does not hold if it does ammoniate menhaden. sent4: the fact that the covering is not a gemmule is right. sent5: there exists nothing such that it does not ammoniate expectorant and is spiritless. sent6: if that something is a gemmule but it is not unenforceable does not hold it is a kind of a Zionist.
sent5 -> int1: the fact that the expectorant does not ammoniate expectorant but it is spiritless is not true.; sent6 -> int2: the sensualist is a kind of a Zionist if the fact that it is a gemmule and it is not unenforceable is not true.;
the bugbane is not algal.
sent4 -> int3: something is not a gemmule.;
$hypothesis$ = the bugbane is algal. ; $context$ = sent1: the bugbane is algal if the sensualist is a Zionist. sent2: if the expectorant is not leafy the sensualist is a brownie and it ammoniates menhaden. sent3: that the sensualist is a kind of a gemmule but it is not unenforceable does not hold if it does ammoniate menhaden. sent4: the fact that the covering is not a gemmule is right. sent5: there exists nothing such that it does not ammoniate expectorant and is spiritless. sent6: if that something is a gemmule but it is not unenforceable does not hold it is a kind of a Zionist. ; $proof$ = 
sent5 -> int1: the fact that the expectorant does not ammoniate expectorant but it is spiritless is not true.; sent6 -> int2: the sensualist is a kind of a Zionist if the fact that it is a gemmule and it is not unenforceable is not true.; __UNKNOWN__