the cashbox does obligate.
sent1: if the cashbox is zygotic then the fact that the peppermint is not a aneroid and is secretarial is not true. sent2: if the cashbox is zygotic that the peppermint is not a aneroid and it is not secretarial does not hold. sent3: if something is not zygotic it is obligate. sent4: the peppermint undresses cashbox. sent5: the peppermint is not secretarial if it undresses cashbox. sent6: if the cashbox does undress cashbox it is not zygotic or does not obligate or both. sent7: the peppermint is a aneroid if it does not obligate. sent8: The cashbox undresses peppermint.
void -> assump1: Let's assume that the cashbox is zygotic.; sent2 & assump1 -> int1: that the peppermint is not a kind of a aneroid and it is not secretarial is not correct.; sent3 -> int2: the cashbox does obligate if it is not zygotic.;
the cashbox does not obligate.
$hypothesis$ = the cashbox does obligate. ; $context$ = sent1: if the cashbox is zygotic then the fact that the peppermint is not a aneroid and is secretarial is not true. sent2: if the cashbox is zygotic that the peppermint is not a aneroid and it is not secretarial does not hold. sent3: if something is not zygotic it is obligate. sent4: the peppermint undresses cashbox. sent5: the peppermint is not secretarial if it undresses cashbox. sent6: if the cashbox does undress cashbox it is not zygotic or does not obligate or both. sent7: the peppermint is a aneroid if it does not obligate. sent8: The cashbox undresses peppermint. ; $proof$ = 
void -> assump1: Let's assume that the cashbox is zygotic.; sent2 & assump1 -> int1: that the peppermint is not a kind of a aneroid and it is not secretarial is not correct.; sent3 -> int2: the cashbox does obligate if it is not zygotic.; __UNKNOWN__