that that the c does not even affluent and is a demonstrability does not hold is true if the affluent does not sip.
sent1: the c evens affluent if it does bear menadione. sent2: the fact that the cortisone does even affluent and is hatless does not hold if the c even affluent. sent3: the cortisone is not hatless and does bear menadione if the affluent is not a shopkeeper. sent4: if the affluent is not a kind of a shopkeeper the cortisone is not hatless. sent5: if the nitrobacterium evens affluent then that the c does not evens affluent but it is a demonstrability is incorrect. sent6: the fact that the nitrobacterium is a sip is incorrect. sent7: if the cortisone is non-hatless thing that does bear menadione then the nitrobacterium evens affluent. sent8: that the fact that the c does even affluent and is a demonstrability is not right hold. sent9: the fact that the cortisone is not a kind of a shopkeeper is not wrong. sent10: if the nitrobacterium is a kind of a sip that the affluent sip and it does even affluent is false. sent11: that the cortisone is a kind of a demonstrability that is a shopkeeper is not correct if the c does not bear menadione. sent12: if the nitrobacterium is a kind of a shopkeeper it does even affluent. sent13: the affluent does not even affluent.
void -> assump2: Let's assume that the affluent is a kind of a shopkeeper.;
$hypothesis$ = that that the c does not even affluent and is a demonstrability does not hold is true if the affluent does not sip. ; $context$ = sent1: the c evens affluent if it does bear menadione. sent2: the fact that the cortisone does even affluent and is hatless does not hold if the c even affluent. sent3: the cortisone is not hatless and does bear menadione if the affluent is not a shopkeeper. sent4: if the affluent is not a kind of a shopkeeper the cortisone is not hatless. sent5: if the nitrobacterium evens affluent then that the c does not evens affluent but it is a demonstrability is incorrect. sent6: the fact that the nitrobacterium is a sip is incorrect. sent7: if the cortisone is non-hatless thing that does bear menadione then the nitrobacterium evens affluent. sent8: that the fact that the c does even affluent and is a demonstrability is not right hold. sent9: the fact that the cortisone is not a kind of a shopkeeper is not wrong. sent10: if the nitrobacterium is a kind of a sip that the affluent sip and it does even affluent is false. sent11: that the cortisone is a kind of a demonstrability that is a shopkeeper is not correct if the c does not bear menadione. sent12: if the nitrobacterium is a kind of a shopkeeper it does even affluent. sent13: the affluent does not even affluent. ; $proof$ = 
void -> assump2: Let's assume that the affluent is a kind of a shopkeeper.; __UNKNOWN__