the fact that there is something such that it is handleless and is rationalist is not true.
sent1: the casino is not unemotional. sent2: the casino is not a monomaniac if the gatherer is both animate and monolingual. sent3: the fact that the dichromat is handleless thing that reimburses Labrador does not hold. sent4: if the gatherer is not inanimate and not a monolingual then the casino is not a monomaniac. sent5: there is something such that it is handleless and it is emotional. sent6: if the casino is emotional thing that is not a kind of a monomaniac the moonshell is not emotional. sent7: the moonshell is funicular thing that does reimburse Labrador. sent8: the moonshell is monolingual and it is a kind of a Varuna. sent9: the dichromat is not emotional if that it is handleless and it does not reimburse Labrador does not hold. sent10: the dichromat is rationalist if there is something such that that it is non-rationalist thing that is a kind of an indemnity is wrong. sent11: the moonshell is emotional and it is Mancunian if the dichromat is not emotional. sent12: the gatherer is not a Mancunian and it is not a kind of a monolingual. sent13: the desertification is a monomaniac and it is a cruse. sent14: there exists something such that the fact that it is a kind of non-rationalist thing that is an indemnity is not true. sent15: the gatherer is animate and non-monolingual. sent16: the gatherer is not a monolingual.
void -> assump1: Let's assume that that the dichromat is handleless but it does not reimburse Labrador does not hold.; sent9 & assump1 -> int1: the dichromat is not emotional.; int1 & sent11 -> int2: the moonshell is both emotional and a Mancunian.; int2 -> int3: the moonshell is emotional.; sent4 & sent15 -> int4: the fact that the casino is not a monomaniac is not false.; sent1 & int4 -> int5: the casino is emotional but it is not a monomaniac.; sent6 & int5 -> int6: the moonshell is not emotional.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the dichromat is handleless and does not reimburse Labrador.; int8 -> int9: the dichromat is handleless.; sent14 & sent10 -> int10: the dichromat is rationalist.; int9 & int10 -> int11: the dichromat is handleless thing that is rationalist.; int11 -> hypothesis;
$hypothesis$ = the fact that there is something such that it is handleless and is rationalist is not true. ; $context$ = sent1: the casino is not unemotional. sent2: the casino is not a monomaniac if the gatherer is both animate and monolingual. sent3: the fact that the dichromat is handleless thing that reimburses Labrador does not hold. sent4: if the gatherer is not inanimate and not a monolingual then the casino is not a monomaniac. sent5: there is something such that it is handleless and it is emotional. sent6: if the casino is emotional thing that is not a kind of a monomaniac the moonshell is not emotional. sent7: the moonshell is funicular thing that does reimburse Labrador. sent8: the moonshell is monolingual and it is a kind of a Varuna. sent9: the dichromat is not emotional if that it is handleless and it does not reimburse Labrador does not hold. sent10: the dichromat is rationalist if there is something such that that it is non-rationalist thing that is a kind of an indemnity is wrong. sent11: the moonshell is emotional and it is Mancunian if the dichromat is not emotional. sent12: the gatherer is not a Mancunian and it is not a kind of a monolingual. sent13: the desertification is a monomaniac and it is a cruse. sent14: there exists something such that the fact that it is a kind of non-rationalist thing that is an indemnity is not true. sent15: the gatherer is animate and non-monolingual. sent16: the gatherer is not a monolingual. ; $proof$ = 
void -> assump1: Let's assume that that the dichromat is handleless but it does not reimburse Labrador does not hold.; sent9 & assump1 -> int1: the dichromat is not emotional.; int1 & sent11 -> int2: the moonshell is both emotional and a Mancunian.; int2 -> int3: the moonshell is emotional.; sent4 & sent15 -> int4: the fact that the casino is not a monomaniac is not false.; sent1 & int4 -> int5: the casino is emotional but it is not a monomaniac.; sent6 & int5 -> int6: the moonshell is not emotional.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the dichromat is handleless and does not reimburse Labrador.; int8 -> int9: the dichromat is handleless.; sent14 & sent10 -> int10: the dichromat is rationalist.; int9 & int10 -> int11: the dichromat is handleless thing that is rationalist.; int11 -> hypothesis; __DISPROVED__