the Chapman is not a kind of a newsflash and does not snuffle motley.
sent1: there exists something such that that it is indexless and it is not generous does not hold. sent2: something is not a newsflash and it does not snuffle motley if it is not numeral. sent3: something is not a newsflash if it is not numeral. sent4: something is not a numeral if it is not indexless and is not generous. sent5: the mound is non-mealy thing that does not smoke. sent6: the Chapman is not a numeral if it is not indexless and it is generous. sent7: that the flannelbush is a Dalmatian and mealy does not hold. sent8: the Chapman is not generous. sent9: the Chapman is not a kind of a newsflash. sent10: if there exists something such that that it is not indexless and it is not generous is not right then the flannelbush is mealy.
void -> assump1: Let's assume that the fact that the Chapman is not indexless and it is not generous is incorrect.; assump1 -> int1: there is something such that that it is both not indexless and ungenerous is not correct.; int1 & sent10 -> int2: the flannelbush is mealy.; sent4 -> int3: the Chapman is not a numeral if it is both not indexless and not generous.; sent2 -> int4: the Chapman is not a newsflash and does not snuffle motley if it is not a kind of a numeral.;
$hypothesis$ = the Chapman is not a kind of a newsflash and does not snuffle motley. ; $context$ = sent1: there exists something such that that it is indexless and it is not generous does not hold. sent2: something is not a newsflash and it does not snuffle motley if it is not numeral. sent3: something is not a newsflash if it is not numeral. sent4: something is not a numeral if it is not indexless and is not generous. sent5: the mound is non-mealy thing that does not smoke. sent6: the Chapman is not a numeral if it is not indexless and it is generous. sent7: that the flannelbush is a Dalmatian and mealy does not hold. sent8: the Chapman is not generous. sent9: the Chapman is not a kind of a newsflash. sent10: if there exists something such that that it is not indexless and it is not generous is not right then the flannelbush is mealy. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Chapman is not indexless and it is not generous is incorrect.; assump1 -> int1: there is something such that that it is both not indexless and ungenerous is not correct.; int1 & sent10 -> int2: the flannelbush is mealy.; sent4 -> int3: the Chapman is not a numeral if it is both not indexless and not generous.; sent2 -> int4: the Chapman is not a newsflash and does not snuffle motley if it is not a kind of a numeral.; __UNKNOWN__