the spear is both not a eelblenny and not a precursor.
sent1: the cuckoo-bumblebee is mini if that the batten is a kind of a meteorite but it is not a Machiavellian is false. sent2: that the Congregationalist is estimable and it is a megasporophyll does not hold. sent3: if something that is non-hadal is a kind of a megasporophyll then the balaclava is a bullfighter. sent4: if that the batten overturns batten is not wrong the spear is not a eelblenny. sent5: if the spear is Delphic it is hadal. sent6: the Congregationalist is non-hadal but it is a kind of a megasporophyll. sent7: something is not a precursor and it is not a eelblenny if it is not a bullfighter. sent8: the fact that the cuckoo-bumblebee is not a kind of a bullfighter is not wrong if the balaclava is a megasporophyll and it is hadal. sent9: something is estimable and does not pour cryophobia if it is a bullfighter. sent10: the work does overturn batten and is estimable if the batten does not pour cryophobia. sent11: if the spear is hadal the balaclava is hadal. sent12: if the batten does overturn batten the spear is not a eelblenny and it is not a precursor. sent13: the fact that that the batten is not mini and it is not estimable hold is not right if the cuckoo-bumblebee does not pour cryophobia. sent14: the fact that that the batten is both a meteorite and Machiavellian is true does not hold if it does not overturn batten. sent15: the cuckoo-bumblebee is mini if the batten is a Machiavellian. sent16: the fact that the balaclava is estimable but it does not pour cryophobia does not hold if the cuckoo-bumblebee is mini. sent17: that the batten is a meteorite but it is not a kind of a Machiavellian is not true if it does not overturn batten. sent18: something is both a dodo and not mini if it does overturn batten. sent19: the balaclava is a kind of a megasporophyll.
void -> assump1: Let's assume that the batten does not overturn batten.; sent17 & assump1 -> int1: the fact that that the batten is a meteorite but it is not a Machiavellian is not true is not incorrect.; int1 & sent1 -> int2: the cuckoo-bumblebee is mini.; int2 & sent16 -> int3: the fact that the balaclava is estimable and does not pour cryophobia is not true.; sent9 -> int4: if the balaclava is a bullfighter then it is estimable and it does not pour cryophobia.; sent6 -> int5: something is non-hadal a megasporophyll.; int5 & sent3 -> int6: the balaclava is a bullfighter.; int4 & int6 -> int7: the balaclava is not non-estimable but it does not pour cryophobia.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the batten overturns batten.; int9 & sent12 -> hypothesis;
that the spear is both not a eelblenny and not a precursor is false.
$hypothesis$ = the spear is both not a eelblenny and not a precursor. ; $context$ = sent1: the cuckoo-bumblebee is mini if that the batten is a kind of a meteorite but it is not a Machiavellian is false. sent2: that the Congregationalist is estimable and it is a megasporophyll does not hold. sent3: if something that is non-hadal is a kind of a megasporophyll then the balaclava is a bullfighter. sent4: if that the batten overturns batten is not wrong the spear is not a eelblenny. sent5: if the spear is Delphic it is hadal. sent6: the Congregationalist is non-hadal but it is a kind of a megasporophyll. sent7: something is not a precursor and it is not a eelblenny if it is not a bullfighter. sent8: the fact that the cuckoo-bumblebee is not a kind of a bullfighter is not wrong if the balaclava is a megasporophyll and it is hadal. sent9: something is estimable and does not pour cryophobia if it is a bullfighter. sent10: the work does overturn batten and is estimable if the batten does not pour cryophobia. sent11: if the spear is hadal the balaclava is hadal. sent12: if the batten does overturn batten the spear is not a eelblenny and it is not a precursor. sent13: the fact that that the batten is not mini and it is not estimable hold is not right if the cuckoo-bumblebee does not pour cryophobia. sent14: the fact that that the batten is both a meteorite and Machiavellian is true does not hold if it does not overturn batten. sent15: the cuckoo-bumblebee is mini if the batten is a Machiavellian. sent16: the fact that the balaclava is estimable but it does not pour cryophobia does not hold if the cuckoo-bumblebee is mini. sent17: that the batten is a meteorite but it is not a kind of a Machiavellian is not true if it does not overturn batten. sent18: something is both a dodo and not mini if it does overturn batten. sent19: the balaclava is a kind of a megasporophyll. ; $proof$ = 
void -> assump1: Let's assume that the batten does not overturn batten.; sent17 & assump1 -> int1: the fact that that the batten is a meteorite but it is not a Machiavellian is not true is not incorrect.; int1 & sent1 -> int2: the cuckoo-bumblebee is mini.; int2 & sent16 -> int3: the fact that the balaclava is estimable and does not pour cryophobia is not true.; sent9 -> int4: if the balaclava is a bullfighter then it is estimable and it does not pour cryophobia.; sent6 -> int5: something is non-hadal a megasporophyll.; int5 & sent3 -> int6: the balaclava is a bullfighter.; int4 & int6 -> int7: the balaclava is not non-estimable but it does not pour cryophobia.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the batten overturns batten.; int9 & sent12 -> hypothesis; __PROVED__