the fact that the afterbirth is not live but it is over-the-counter is incorrect if the boarder is unripe.
sent1: the boarder does not live if the afterbirth is unripe. sent2: the fact that the afterbirth is a kind of non-live thing that is over-the-counter is not true if the caller does not live. sent3: that the caller is both not over-the-counter and live is wrong if the afterbirth is not over-the-counter. sent4: the Alexandrian is over-the-counter. sent5: if the afterbirth is not over-the-counter the fact that the boarder is non-over-the-counter thing that is unripe does not hold. sent6: if the caller is not live then that the afterbirth is both live and not non-over-the-counter is incorrect. sent7: if the caller is not over-the-counter then that that the afterbirth is not over-the-counter and lives is not incorrect is incorrect. sent8: the boarder is not over-the-counter. sent9: the exercycle does not live. sent10: the Cardigan is not live. sent11: the afterbirth is unripe. sent12: that the afterbirth is live thing that is over-the-counter is not right if the fact that the boarder is unripe is right. sent13: the aftershaft lives. sent14: the afterbirth is a kind of non-live thing that is over-the-counter if the boarder is unripe. sent15: that the afterbirth does live and is over-the-counter does not hold. sent16: if the caller lives then the boarder is unripe. sent17: that the caller is not over-the-counter but live is wrong.
void -> assump2: Let's assume that the boarder is unripe.;
$hypothesis$ = the fact that the afterbirth is not live but it is over-the-counter is incorrect if the boarder is unripe. ; $context$ = sent1: the boarder does not live if the afterbirth is unripe. sent2: the fact that the afterbirth is a kind of non-live thing that is over-the-counter is not true if the caller does not live. sent3: that the caller is both not over-the-counter and live is wrong if the afterbirth is not over-the-counter. sent4: the Alexandrian is over-the-counter. sent5: if the afterbirth is not over-the-counter the fact that the boarder is non-over-the-counter thing that is unripe does not hold. sent6: if the caller is not live then that the afterbirth is both live and not non-over-the-counter is incorrect. sent7: if the caller is not over-the-counter then that that the afterbirth is not over-the-counter and lives is not incorrect is incorrect. sent8: the boarder is not over-the-counter. sent9: the exercycle does not live. sent10: the Cardigan is not live. sent11: the afterbirth is unripe. sent12: that the afterbirth is live thing that is over-the-counter is not right if the fact that the boarder is unripe is right. sent13: the aftershaft lives. sent14: the afterbirth is a kind of non-live thing that is over-the-counter if the boarder is unripe. sent15: that the afterbirth does live and is over-the-counter does not hold. sent16: if the caller lives then the boarder is unripe. sent17: that the caller is not over-the-counter but live is wrong. ; $proof$ = 
void -> assump2: Let's assume that the boarder is unripe.; __UNKNOWN__