the welwitschia does not auspicate and it does not group woodenware.
sent1: the welwitschia is not a kind of a flexure. sent2: that the aging is not a flexure is true. sent3: the welwitschia barbarizes aureole. sent4: if the nudibranch does not tide the fact that the counselor does barbarize aureole but it does not auspicate is wrong. sent5: if the fact that something does barbarize aureole and does not auspicate is not right it does auspicate. sent6: the nudibranch is not gravitational if the counselor does not tide and is not a seashell. sent7: if the welwitschia does not group woodenware and does not barbarize aureole then the upstage does group woodenware. sent8: the fact that the aging is not bimolecular or is not adoptive or both is not right if the fact that it is not a flexure is not wrong. sent9: that the nudibranch is not conquerable is correct. sent10: the ragamuffin is a seashell. sent11: the counselor is not a kind of a seashell and it is not conquerable. sent12: the labdanum is not verbal and it is not gravitational. sent13: the nudibranch is gravitational and a jiggermast. sent14: the aging is bimolecular. sent15: the aging barbarizes aureole and it is a Momus. sent16: The aureole barbarizes welwitschia. sent17: the counselor is not a kind of a tide if the welwitschia does auspicate and barbarizes aureole. sent18: if there is something such that the fact that it is bimolecular and/or it is not adoptive is not right then that the welwitschia does not group woodenware is true.
void -> assump1: Let's assume that the welwitschia auspicates.; assump1 & sent3 -> int1: the welwitschia auspicates and barbarizes aureole.; int1 & sent17 -> int2: the counselor does not tide.; sent11 -> int3: the counselor is not a kind of a seashell.; int2 & int3 -> int4: the counselor is not a tide and not a seashell.; int4 & sent6 -> int5: the nudibranch is not gravitational.; sent13 -> int6: the fact that the nudibranch is gravitational is not incorrect.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the welwitschia does not auspicate.; sent8 & sent2 -> int9: that the aging is not bimolecular and/or it is not adoptive does not hold.; int9 -> int10: there exists something such that that either it is not bimolecular or it is not adoptive or both is false.;
that the welwitschia does not auspicate and it does not group woodenware does not hold.
sent5 -> int11: the counselor auspicates if that it barbarizes aureole and does not auspicates does not hold.;
$hypothesis$ = the welwitschia does not auspicate and it does not group woodenware. ; $context$ = sent1: the welwitschia is not a kind of a flexure. sent2: that the aging is not a flexure is true. sent3: the welwitschia barbarizes aureole. sent4: if the nudibranch does not tide the fact that the counselor does barbarize aureole but it does not auspicate is wrong. sent5: if the fact that something does barbarize aureole and does not auspicate is not right it does auspicate. sent6: the nudibranch is not gravitational if the counselor does not tide and is not a seashell. sent7: if the welwitschia does not group woodenware and does not barbarize aureole then the upstage does group woodenware. sent8: the fact that the aging is not bimolecular or is not adoptive or both is not right if the fact that it is not a flexure is not wrong. sent9: that the nudibranch is not conquerable is correct. sent10: the ragamuffin is a seashell. sent11: the counselor is not a kind of a seashell and it is not conquerable. sent12: the labdanum is not verbal and it is not gravitational. sent13: the nudibranch is gravitational and a jiggermast. sent14: the aging is bimolecular. sent15: the aging barbarizes aureole and it is a Momus. sent16: The aureole barbarizes welwitschia. sent17: the counselor is not a kind of a tide if the welwitschia does auspicate and barbarizes aureole. sent18: if there is something such that the fact that it is bimolecular and/or it is not adoptive is not right then that the welwitschia does not group woodenware is true. ; $proof$ = 
void -> assump1: Let's assume that the welwitschia auspicates.; assump1 & sent3 -> int1: the welwitschia auspicates and barbarizes aureole.; int1 & sent17 -> int2: the counselor does not tide.; sent11 -> int3: the counselor is not a kind of a seashell.; int2 & int3 -> int4: the counselor is not a tide and not a seashell.; int4 & sent6 -> int5: the nudibranch is not gravitational.; sent13 -> int6: the fact that the nudibranch is gravitational is not incorrect.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the welwitschia does not auspicate.; sent8 & sent2 -> int9: that the aging is not bimolecular and/or it is not adoptive does not hold.; int9 -> int10: there exists something such that that either it is not bimolecular or it is not adoptive or both is false.; __UNKNOWN__