the handcuff deposits Marrubium.
sent1: if the chatelaine deposits Marrubium the handcuff does not deposits Marrubium. sent2: if that the chatelaine is a kind of a peer or is not a kingmaker or both is false the kosher dubs SOP. sent3: the kosher is not a Bruneian. sent4: if something is hierarchical then it does deposit Marrubium. sent5: the kosher does peer. sent6: if the kosher does dub SOP the handcuff is hierarchical. sent7: the chatelaine is not a peer. sent8: if there exists something such that it does measure lerot the chatelaine does not peer. sent9: there exists something such that it does measure lerot.
sent4 -> int1: the handcuff deposits Marrubium if it is hierarchical.;
the handcuff does not deposit Marrubium.
$hypothesis$ = the handcuff deposits Marrubium. ; $context$ = sent1: if the chatelaine deposits Marrubium the handcuff does not deposits Marrubium. sent2: if that the chatelaine is a kind of a peer or is not a kingmaker or both is false the kosher dubs SOP. sent3: the kosher is not a Bruneian. sent4: if something is hierarchical then it does deposit Marrubium. sent5: the kosher does peer. sent6: if the kosher does dub SOP the handcuff is hierarchical. sent7: the chatelaine is not a peer. sent8: if there exists something such that it does measure lerot the chatelaine does not peer. sent9: there exists something such that it does measure lerot. ; $proof$ = 
sent4 -> int1: the handcuff deposits Marrubium if it is hierarchical.; __UNKNOWN__