the balldress is not a baboon.
sent1: the emergency is voltaic. sent2: the bulwark is voltaic. sent3: the balldress is horary but it is not a kind of a farkleberry. sent4: if the balldress is branchiopod but it is not a kind of a baboon then the cupronickel is not a Doctor. sent5: the cupronickel is voltaic. sent6: the balldress does not company spinal. sent7: the balldress secretes Ambrose and does not company stained. sent8: the cupronickel is not a kind of a Doctor. sent9: if something does company spinal and it is vocalic then the balldress is not a baboon. sent10: the gauge is a kind of a packer that is branchiopod. sent11: if the emergency does not company spinal and it is not vocalic the balldress is a kind of a baboon. sent12: the cupronickel is not a Silphium. sent13: that the bulwark is a branchiopod is true. sent14: the thermosphere is not a baboon. sent15: the balldress is vocalic. sent16: the cupronickel is not a branchiopod. sent17: if a vocalic thing companies spinal then the bulwark is non-voltaic. sent18: the bulwark is not a baboon. sent19: if there exists something such that it is a baboon and is vocalic the emergency does not company spinal. sent20: the balldress is a Doctor if the cupronickel is not a baboon. sent21: the emergency is a branchiopod if the cupronickel is not a kind of a Doctor.
void -> assump1: Let's assume that the balldress is a baboon.; assump1 & sent15 -> int1: the balldress is a baboon and it is vocalic.; int1 -> int2: something is a kind of a baboon that is vocalic.; int2 & sent19 -> int3: the emergency does not company spinal.; sent21 & sent8 -> int4: the emergency is a branchiopod.; int3 & int4 -> int5: the emergency is a branchiopod but it does not company spinal.;
the balldress is a baboon.
$hypothesis$ = the balldress is not a baboon. ; $context$ = sent1: the emergency is voltaic. sent2: the bulwark is voltaic. sent3: the balldress is horary but it is not a kind of a farkleberry. sent4: if the balldress is branchiopod but it is not a kind of a baboon then the cupronickel is not a Doctor. sent5: the cupronickel is voltaic. sent6: the balldress does not company spinal. sent7: the balldress secretes Ambrose and does not company stained. sent8: the cupronickel is not a kind of a Doctor. sent9: if something does company spinal and it is vocalic then the balldress is not a baboon. sent10: the gauge is a kind of a packer that is branchiopod. sent11: if the emergency does not company spinal and it is not vocalic the balldress is a kind of a baboon. sent12: the cupronickel is not a Silphium. sent13: that the bulwark is a branchiopod is true. sent14: the thermosphere is not a baboon. sent15: the balldress is vocalic. sent16: the cupronickel is not a branchiopod. sent17: if a vocalic thing companies spinal then the bulwark is non-voltaic. sent18: the bulwark is not a baboon. sent19: if there exists something such that it is a baboon and is vocalic the emergency does not company spinal. sent20: the balldress is a Doctor if the cupronickel is not a baboon. sent21: the emergency is a branchiopod if the cupronickel is not a kind of a Doctor. ; $proof$ = 
void -> assump1: Let's assume that the balldress is a baboon.; assump1 & sent15 -> int1: the balldress is a baboon and it is vocalic.; int1 -> int2: something is a kind of a baboon that is vocalic.; int2 & sent19 -> int3: the emergency does not company spinal.; sent21 & sent8 -> int4: the emergency is a branchiopod.; int3 & int4 -> int5: the emergency is a branchiopod but it does not company spinal.; __UNKNOWN__