the Scottie is not a blindworm.
sent1: if the actinomyxidian is not a decibel it is not a concha. sent2: the auxin is multilateral if it is a vestal. sent3: if the fact that the Salmon is a summit but not a decibel is incorrect then the Scottie is not a summit. sent4: if the actinomyxidian is not a kind of a gempylid and it is not a concha then the Salmon is a personhood. sent5: the turtledove dazzles if the Salmon is a kind of a personhood. sent6: the actinomyxidian is not a concha. sent7: the actinomyxidian is not a gempylid and it is not a concha if it is not a decibel. sent8: the auxin is a stint that is a blindworm. sent9: the auxin is a kind of a vestal and does slag druidism. sent10: if there exists something such that it is not a summit then the actinomyxidian does peg Medan. sent11: if the turtledove dazzles then the auxin is not multilateral. sent12: the Scottie is a summit. sent13: that the Salmon is a personhood is not incorrect if the actinomyxidian is not a gempylid but it is a concha.
void -> assump1: Let's assume that the Scottie is a blindworm.; sent12 & assump1 -> int1: the Scottie is a summit and it is a blindworm.; sent9 -> int2: the auxin is a vestal.; sent2 & int2 -> int3: the fact that the auxin is multilateral is not false.;
the actinomyxidian pegs Medan and it is sympatric.
$hypothesis$ = the Scottie is not a blindworm. ; $context$ = sent1: if the actinomyxidian is not a decibel it is not a concha. sent2: the auxin is multilateral if it is a vestal. sent3: if the fact that the Salmon is a summit but not a decibel is incorrect then the Scottie is not a summit. sent4: if the actinomyxidian is not a kind of a gempylid and it is not a concha then the Salmon is a personhood. sent5: the turtledove dazzles if the Salmon is a kind of a personhood. sent6: the actinomyxidian is not a concha. sent7: the actinomyxidian is not a gempylid and it is not a concha if it is not a decibel. sent8: the auxin is a stint that is a blindworm. sent9: the auxin is a kind of a vestal and does slag druidism. sent10: if there exists something such that it is not a summit then the actinomyxidian does peg Medan. sent11: if the turtledove dazzles then the auxin is not multilateral. sent12: the Scottie is a summit. sent13: that the Salmon is a personhood is not incorrect if the actinomyxidian is not a gempylid but it is a concha. ; $proof$ = 
void -> assump1: Let's assume that the Scottie is a blindworm.; sent12 & assump1 -> int1: the Scottie is a summit and it is a blindworm.; sent9 -> int2: the auxin is a vestal.; sent2 & int2 -> int3: the fact that the auxin is multilateral is not false.; __UNKNOWN__