if the mannequin is not a quintessence then the wader is a kind of a rearmament and/or it is enforceable.
sent1: either the mannequin is a rearmament or it is a quintessence or both. sent2: the wader is a rearmament and/or it is an undervaluation. sent3: the wader is a rearmament if either the mannequin is not an undervaluation or it is not enforceable or both. sent4: the geranium is enforceable. sent5: either the mannequin is an undervaluation or it is not a quintessence or both. sent6: if that the mannequin is not an undervaluation is right the wader is a rearmament. sent7: the wader is not an irregularity. sent8: if the wader is not a kind of an undervaluation and/or it is not a quintessence the mannequin is not unenforceable. sent9: either the wader is a kind of a rearmament or it is not unenforceable or both if the fact that the mannequin is a kind of a quintessence hold. sent10: the wader is conscientious or a Dietrich or both. sent11: if the fact that the wader is not an undervaluation and not electric is not correct the mannequin is a kind of an electric. sent12: if the wader is not an undervaluation then the mannequin is a rearmament and/or it is enforceable. sent13: either the wader is not a quintessence or it is not enforceable or both. sent14: if the mannequin is not a kind of a rearmament and/or is not a quintessence the wader is a kind of an undervaluation. sent15: the barracuda is not a quintessence. sent16: if the wader is either not a rearmament or not a quintessence or both then the mannequin is enforceable. sent17: the wader is a quintessence or is a rearmament or both. sent18: the wader is a rearmament if the mannequin is not a kind of an undervaluation and/or it is a kind of a quintessence. sent19: if the mannequin is not enforceable and/or it is not a kind of an undervaluation then the wader is a quintessence.
void -> assump1: Let's assume that the mannequin is not a kind of a quintessence.; assump1 -> int1: the mannequin is not an undervaluation and/or is not a kind of a quintessence.;
the mannequin is a rearmament or it is a kind of an electric or both.
$hypothesis$ = if the mannequin is not a quintessence then the wader is a kind of a rearmament and/or it is enforceable. ; $context$ = sent1: either the mannequin is a rearmament or it is a quintessence or both. sent2: the wader is a rearmament and/or it is an undervaluation. sent3: the wader is a rearmament if either the mannequin is not an undervaluation or it is not enforceable or both. sent4: the geranium is enforceable. sent5: either the mannequin is an undervaluation or it is not a quintessence or both. sent6: if that the mannequin is not an undervaluation is right the wader is a rearmament. sent7: the wader is not an irregularity. sent8: if the wader is not a kind of an undervaluation and/or it is not a quintessence the mannequin is not unenforceable. sent9: either the wader is a kind of a rearmament or it is not unenforceable or both if the fact that the mannequin is a kind of a quintessence hold. sent10: the wader is conscientious or a Dietrich or both. sent11: if the fact that the wader is not an undervaluation and not electric is not correct the mannequin is a kind of an electric. sent12: if the wader is not an undervaluation then the mannequin is a rearmament and/or it is enforceable. sent13: either the wader is not a quintessence or it is not enforceable or both. sent14: if the mannequin is not a kind of a rearmament and/or is not a quintessence the wader is a kind of an undervaluation. sent15: the barracuda is not a quintessence. sent16: if the wader is either not a rearmament or not a quintessence or both then the mannequin is enforceable. sent17: the wader is a quintessence or is a rearmament or both. sent18: the wader is a rearmament if the mannequin is not a kind of an undervaluation and/or it is a kind of a quintessence. sent19: if the mannequin is not enforceable and/or it is not a kind of an undervaluation then the wader is a quintessence. ; $proof$ = 
void -> assump1: Let's assume that the mannequin is not a kind of a quintessence.; assump1 -> int1: the mannequin is not an undervaluation and/or is not a kind of a quintessence.; __UNKNOWN__