the mouthbreeder is a hatefulness.
sent1: the Parliamentarian does deviate chloroprene if the licensee is not a small but it is a kind of an affluence. sent2: if the wally is a kind of a drey that the anode either does evolve or is not a Characidae or both is not right. sent3: there exists something such that the fact that it does evolve and/or it is a Characidae is false. sent4: either something is a Characidae or it is not a kind of a Updike or both. sent5: if the fact that the Parliamentarian is either not a Updike or reparable or both does not hold it does not deviate chloroprene. sent6: the wally is a drey if there exists something such that the fact that it is not a small and is an affluence is wrong. sent7: there exists something such that that it is both a small and an affluence is not correct. sent8: the licensee is not a kind of a small. sent9: the Parliamentarian does not deviate chloroprene if the fact that it is a Updike or reparable or both is wrong. sent10: the anode is a Updike if there is something such that that it does not deviate chloroprene and does evolve is not true. sent11: there exists something such that it does not evolve. sent12: the mouthbreeder is not a hatefulness if there exists something such that that it does evolve or it is not a kind of a Characidae or both is incorrect. sent13: that the Parliamentarian is not a Updike and/or is reparable does not hold.
void -> assump1: Let's assume that that the licensee is not a kind of a small and is a kind of an affluence is right.; sent1 & assump1 -> int1: the Parliamentarian does deviate chloroprene.; sent5 & sent13 -> int2: the Parliamentarian does not deviate chloroprene.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the licensee is a kind of non-small thing that is an affluence does not hold.; int4 -> int5: there is something such that that it is not a kind of a small and it is an affluence is not true.; int5 & sent6 -> int6: the wally is a kind of a drey.; int6 & sent2 -> int7: the fact that the anode does evolve and/or is not a kind of a Characidae does not hold.; int7 -> int8: there exists something such that the fact that it evolves and/or is not a Characidae is incorrect.; int8 & sent12 -> hypothesis;
$hypothesis$ = the mouthbreeder is a hatefulness. ; $context$ = sent1: the Parliamentarian does deviate chloroprene if the licensee is not a small but it is a kind of an affluence. sent2: if the wally is a kind of a drey that the anode either does evolve or is not a Characidae or both is not right. sent3: there exists something such that the fact that it does evolve and/or it is a Characidae is false. sent4: either something is a Characidae or it is not a kind of a Updike or both. sent5: if the fact that the Parliamentarian is either not a Updike or reparable or both does not hold it does not deviate chloroprene. sent6: the wally is a drey if there exists something such that the fact that it is not a small and is an affluence is wrong. sent7: there exists something such that that it is both a small and an affluence is not correct. sent8: the licensee is not a kind of a small. sent9: the Parliamentarian does not deviate chloroprene if the fact that it is a Updike or reparable or both is wrong. sent10: the anode is a Updike if there is something such that that it does not deviate chloroprene and does evolve is not true. sent11: there exists something such that it does not evolve. sent12: the mouthbreeder is not a hatefulness if there exists something such that that it does evolve or it is not a kind of a Characidae or both is incorrect. sent13: that the Parliamentarian is not a Updike and/or is reparable does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the licensee is not a kind of a small and is a kind of an affluence is right.; sent1 & assump1 -> int1: the Parliamentarian does deviate chloroprene.; sent5 & sent13 -> int2: the Parliamentarian does not deviate chloroprene.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the licensee is a kind of non-small thing that is an affluence does not hold.; int4 -> int5: there is something such that that it is not a kind of a small and it is an affluence is not true.; int5 & sent6 -> int6: the wally is a kind of a drey.; int6 & sent2 -> int7: the fact that the anode does evolve and/or is not a kind of a Characidae does not hold.; int7 -> int8: there exists something such that the fact that it evolves and/or is not a Characidae is incorrect.; int8 & sent12 -> hypothesis; __DISPROVED__