if the bluestem does not lurch dichromacy the catbird is both unexportable and a phial.
sent1: there exists something such that it is non-hypothalamic and/or it does lurch dichromacy. sent2: the catbird is unexportable if the fact that there exists something such that it is not nonpregnant and/or it is not hypothalamic is right. sent3: if there is something such that it is not unforgettable and/or is hypothalamic then the baroness is hypothalamic. sent4: if the mender is not a kind of a Taegu then the baroness is not nonpregnant and/or it is not hypothalamic. sent5: something that does not lurch mythologist is a phial that is a kind of a Taegu. sent6: the bluestem is a Taegu. sent7: the baroness is a prepuce. sent8: there is something such that it is not unforgettable or hypothalamic or both. sent9: the bluestem does lurch dichromacy if it lurches mythologist. sent10: if that the bluestem does lurch dichromacy is not wrong the catbird is unexportable and is a phial. sent11: something does not lurch dichromacy if it is hypothalamic thing that is not nonpregnant. sent12: the bluestem does lurch mythologist if the mender is a kind of a Taegu. sent13: if the mender is not a Taegu then the baroness is not nonpregnant and/or it is hypothalamic.
void -> assump2: Let's assume that the mender is a Taegu.; sent12 & assump2 -> int1: the bluestem does lurch mythologist.; int1 & sent9 -> int2: the bluestem lurches dichromacy.; void -> assump1: Let's assume that the bluestem does not lurch dichromacy.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the mender is not a Taegu.; int4 & sent4 -> int5: either the baroness is pregnant or it is not hypothalamic or both.; int5 -> int6: either something is not nonpregnant or it is not hypothalamic or both.; int6 & sent2 -> int7: the catbird is not exportable.;
the baroness is a phial.
sent5 -> int8: the baroness is a kind of a phial that is a Taegu if it does not lurch mythologist.; sent11 -> int9: if the baroness is hypothalamic but it is not nonpregnant then it does not lurch dichromacy.; sent8 & sent3 -> int10: the baroness is hypothalamic.;
$hypothesis$ = if the bluestem does not lurch dichromacy the catbird is both unexportable and a phial. ; $context$ = sent1: there exists something such that it is non-hypothalamic and/or it does lurch dichromacy. sent2: the catbird is unexportable if the fact that there exists something such that it is not nonpregnant and/or it is not hypothalamic is right. sent3: if there is something such that it is not unforgettable and/or is hypothalamic then the baroness is hypothalamic. sent4: if the mender is not a kind of a Taegu then the baroness is not nonpregnant and/or it is not hypothalamic. sent5: something that does not lurch mythologist is a phial that is a kind of a Taegu. sent6: the bluestem is a Taegu. sent7: the baroness is a prepuce. sent8: there is something such that it is not unforgettable or hypothalamic or both. sent9: the bluestem does lurch dichromacy if it lurches mythologist. sent10: if that the bluestem does lurch dichromacy is not wrong the catbird is unexportable and is a phial. sent11: something does not lurch dichromacy if it is hypothalamic thing that is not nonpregnant. sent12: the bluestem does lurch mythologist if the mender is a kind of a Taegu. sent13: if the mender is not a Taegu then the baroness is not nonpregnant and/or it is hypothalamic. ; $proof$ = 
void -> assump2: Let's assume that the mender is a Taegu.; sent12 & assump2 -> int1: the bluestem does lurch mythologist.; int1 & sent9 -> int2: the bluestem lurches dichromacy.; void -> assump1: Let's assume that the bluestem does not lurch dichromacy.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the mender is not a Taegu.; int4 & sent4 -> int5: either the baroness is pregnant or it is not hypothalamic or both.; int5 -> int6: either something is not nonpregnant or it is not hypothalamic or both.; int6 & sent2 -> int7: the catbird is not exportable.; __UNKNOWN__