that the cock-a-leekie is not a Very-light or it is not a mock-up or both is false.
sent1: if something that is a geophagy is not non-mercurial it does not reign choler. sent2: there exists nothing such that it is pediatrics and not chromatinic. sent3: if the choler is a kind of prokaryotic thing that does not smash one-sixteenth it is a geophagy. sent4: the stockholder is not a kind of a Very-light if it is not a kind of a mock-up. sent5: the upholstery does not smash calabash if it does smash one-sixteenth and it is a Scomberomorus. sent6: the cock-a-leekie is a Very-light. sent7: if something vents then the cock-a-leekie is not syncategorematic. sent8: if the stockholder is not a kind of a Very-light then the cock-a-leekie is mercurial but it does not smash calabash. sent9: the upholstery is a kind of a Scomberomorus. sent10: the choler is not a geophagy and not syncategorematic. sent11: if the choler is prokaryotic and does smash one-sixteenth it is a kind of a geophagy. sent12: the choler is not syncategorematic. sent13: the choler does not smash one-sixteenth. sent14: if something is both prokaryotic and mercurial then it is not a geophagy. sent15: the choler is not non-odds if the upholstery does not reign choler or is not non-odds or both. sent16: if the fact that something is pediatrics and not chromatinic is not right then it is not new. sent17: if there exists something such that it is not a staffer and it is not a Gordimer then the upholstery does vent. sent18: if something is mercurial and it reigns choler then it does not smash calabash. sent19: the upholstery is mercurial and it is a Scomberomorus. sent20: the upholstery reigns choler if the fact that the choler is prokaryotic and does not smash one-sixteenth does not hold. sent21: something that does not reign choler is either not a Very-light or not a mock-up or both. sent22: the cock-a-leekie is a Very-light if the upholstery does not smash calabash. sent23: the fact that the choler is prokaryotic thing that does smash one-sixteenth is not right. sent24: the fact that the upholstery reigns choler is not wrong if the choler does smash one-sixteenth. sent25: the fact that the cock-a-leekie either is not a Very-light or is not a mock-up or both is incorrect if the fact that the upholstery does not smash calabash hold. sent26: the stockholder is not a staffer and is not a Gordimer.
void -> assump1: Let's assume that the choler is prokaryotic but it does not smash one-sixteenth.; sent3 & assump1 -> int1: the fact that the choler is a geophagy is true.; sent10 -> int2: the choler is not a kind of a geophagy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the choler is prokaryotic thing that does not smash one-sixteenth is not true.; int4 & sent20 -> int5: the upholstery does reign choler.; sent19 -> int6: the upholstery is mercurial.; int5 & int6 -> int7: the upholstery is mercurial and it reigns choler.; sent18 -> int8: the upholstery does not smash calabash if it is mercurial and does reign choler.; int7 & int8 -> int9: the fact that the upholstery does not smash calabash is not wrong.; int9 & sent25 -> hypothesis;
the choler is odds.
$hypothesis$ = that the cock-a-leekie is not a Very-light or it is not a mock-up or both is false. ; $context$ = sent1: if something that is a geophagy is not non-mercurial it does not reign choler. sent2: there exists nothing such that it is pediatrics and not chromatinic. sent3: if the choler is a kind of prokaryotic thing that does not smash one-sixteenth it is a geophagy. sent4: the stockholder is not a kind of a Very-light if it is not a kind of a mock-up. sent5: the upholstery does not smash calabash if it does smash one-sixteenth and it is a Scomberomorus. sent6: the cock-a-leekie is a Very-light. sent7: if something vents then the cock-a-leekie is not syncategorematic. sent8: if the stockholder is not a kind of a Very-light then the cock-a-leekie is mercurial but it does not smash calabash. sent9: the upholstery is a kind of a Scomberomorus. sent10: the choler is not a geophagy and not syncategorematic. sent11: if the choler is prokaryotic and does smash one-sixteenth it is a kind of a geophagy. sent12: the choler is not syncategorematic. sent13: the choler does not smash one-sixteenth. sent14: if something is both prokaryotic and mercurial then it is not a geophagy. sent15: the choler is not non-odds if the upholstery does not reign choler or is not non-odds or both. sent16: if the fact that something is pediatrics and not chromatinic is not right then it is not new. sent17: if there exists something such that it is not a staffer and it is not a Gordimer then the upholstery does vent. sent18: if something is mercurial and it reigns choler then it does not smash calabash. sent19: the upholstery is mercurial and it is a Scomberomorus. sent20: the upholstery reigns choler if the fact that the choler is prokaryotic and does not smash one-sixteenth does not hold. sent21: something that does not reign choler is either not a Very-light or not a mock-up or both. sent22: the cock-a-leekie is a Very-light if the upholstery does not smash calabash. sent23: the fact that the choler is prokaryotic thing that does smash one-sixteenth is not right. sent24: the fact that the upholstery reigns choler is not wrong if the choler does smash one-sixteenth. sent25: the fact that the cock-a-leekie either is not a Very-light or is not a mock-up or both is incorrect if the fact that the upholstery does not smash calabash hold. sent26: the stockholder is not a staffer and is not a Gordimer. ; $proof$ = 
void -> assump1: Let's assume that the choler is prokaryotic but it does not smash one-sixteenth.; sent3 & assump1 -> int1: the fact that the choler is a geophagy is true.; sent10 -> int2: the choler is not a kind of a geophagy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the choler is prokaryotic thing that does not smash one-sixteenth is not true.; int4 & sent20 -> int5: the upholstery does reign choler.; sent19 -> int6: the upholstery is mercurial.; int5 & int6 -> int7: the upholstery is mercurial and it reigns choler.; sent18 -> int8: the upholstery does not smash calabash if it is mercurial and does reign choler.; int7 & int8 -> int9: the fact that the upholstery does not smash calabash is not wrong.; int9 & sent25 -> hypothesis; __PROVED__