that the Yankee is not a kind of a lifesaver or it is arborical or both is not correct if the tulip is anadromous.
sent1: something is not arborical and it is not a concierge if it is not a kind of a lifesaver. sent2: if that the chorion is not fatal and is a gigantism does not hold the Yankee is not a kind of an elastomer. sent3: if the tulip is not arborical and it is not a concierge the chorion is not arborical. sent4: if the Yankee is not an elastomer then the fact that it is not a kind of a lifesaver or is arborical or both is not true. sent5: something that is not arborical either is an elastomer or is anadromous or both. sent6: the Yankee is not a lifesaver or a gigantism or both if it is not fatal. sent7: the Yankee is not an elastomer if the chorion is not nonfatal. sent8: if the chorion is a kind of an elastomer or is anadromous or both then the carrel is not fatal. sent9: if the chorion is not fatal and is a gigantism the tulip is not anadromous.
void -> assump1: Let's assume that the chorion is nonfatal thing that is a gigantism.; sent9 & assump1 -> int1: the tulip is not anadromous.; void -> assump2: Let's assume that that the tulip is non-anadromous is not true.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the chorion is both not fatal and a gigantism is false.; int3 & sent2 -> int4: the Yankee is not an elastomer.; int4 & sent4 -> int5: the fact that the Yankee either is not a lifesaver or is arborical or both does not hold.; [assump2] & int5 -> hypothesis;
the carrel is not fatal.
sent5 -> int6: if the chorion is not arborical the fact that it is an elastomer or anadromous or both is true.; sent1 -> int7: the tulip is non-arborical thing that is not a concierge if it is not a kind of a lifesaver.;
$hypothesis$ = that the Yankee is not a kind of a lifesaver or it is arborical or both is not correct if the tulip is anadromous. ; $context$ = sent1: something is not arborical and it is not a concierge if it is not a kind of a lifesaver. sent2: if that the chorion is not fatal and is a gigantism does not hold the Yankee is not a kind of an elastomer. sent3: if the tulip is not arborical and it is not a concierge the chorion is not arborical. sent4: if the Yankee is not an elastomer then the fact that it is not a kind of a lifesaver or is arborical or both is not true. sent5: something that is not arborical either is an elastomer or is anadromous or both. sent6: the Yankee is not a lifesaver or a gigantism or both if it is not fatal. sent7: the Yankee is not an elastomer if the chorion is not nonfatal. sent8: if the chorion is a kind of an elastomer or is anadromous or both then the carrel is not fatal. sent9: if the chorion is not fatal and is a gigantism the tulip is not anadromous. ; $proof$ = 
void -> assump1: Let's assume that the chorion is nonfatal thing that is a gigantism.; sent9 & assump1 -> int1: the tulip is not anadromous.; void -> assump2: Let's assume that that the tulip is non-anadromous is not true.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the chorion is both not fatal and a gigantism is false.; int3 & sent2 -> int4: the Yankee is not an elastomer.; int4 & sent4 -> int5: the fact that the Yankee either is not a lifesaver or is arborical or both does not hold.; [assump2] & int5 -> hypothesis; __PROVED__