the Esselen is nontranslational.
sent1: if the endoneurium is immoral then the fact that the gametophyte is peroneal is not false. sent2: the cosmologist is nontranslational if there exists something such that the fact that it is not chitinous and does not turf Grahame is incorrect. sent3: the endoneurium is peroneal if there exists something such that the fact that it is not a slalom and not a vitalness is not correct. sent4: if the Esselen is not nontranslational then the fact that the shoveler is both not a slalom and not a vitalness is wrong. sent5: if the gametophyte does not turf Grahame and is not immoral the patriot is not immoral. sent6: if the Esselen is not actinomycetal the fact that it is not immoral and not peroneal is not correct. sent7: that the Esselen is chitinous and it is actinomycetal is not right if there exists something such that it is not chitinous. sent8: the Esselen is non-actinomycetal if the gametophyte is translational but not non-actinomycetal. sent9: the patriot is immoral if the endoneurium is peroneal. sent10: if there is something such that that it is not a kind of a reflation and it is chitinous is wrong then the gametophyte is not actinomycetal. sent11: that the cosmologist is not a reflation and is chitinous is not right. sent12: there exists something such that the fact that it does not flatten Kennan and does flatten yardstick does not hold. sent13: the gametophyte is not a reflation. sent14: if the gametophyte is non-peroneal then it is not a kind of a reflation and it is not actinomycetal. sent15: the patriot is a kind of a layman. sent16: a non-actinomycetal thing does not turf Grahame and is not immoral. sent17: something is not chitinous if it does not turf Grahame and is a kind of a reflation. sent18: if there exists something such that that it is moral and it is non-peroneal does not hold then the northerly is not nontranslational. sent19: that the shoveler is not actinomycetal and it is not chitinous is false if the gametophyte is not a kind of a vitalness. sent20: the cosmologist is not chitinous and it is not actinomycetal if it is not nontranslational. sent21: if the fact that something is chitinous and it is actinomycetal is wrong then it is not actinomycetal. sent22: there exists something such that the fact that it flattens sunspot and it is secular hold. sent23: the cosmologist does not turf Grahame. sent24: if something does flatten sunspot and is secular then the endoneurium is not a Prussian. sent25: if the patriot does turf Grahame then the gametophyte is immoral.
void -> assump1: Let's assume that the Esselen is not nontranslational.; sent4 & assump1 -> int1: that the shoveler is not a slalom and not a vitalness is wrong.; int1 -> int2: there is something such that that it is not a slalom and it is not a vitalness is incorrect.; int2 & sent3 -> int3: the endoneurium is peroneal.; int3 & sent9 -> int4: the patriot is immoral.; sent16 -> int5: the gametophyte does not turf Grahame and it is not immoral if that it is non-actinomycetal is not false.; sent11 -> int6: there is something such that the fact that it is not a reflation but chitinous is not right.; int6 & sent10 -> int7: the gametophyte is not actinomycetal.; int5 & int7 -> int8: the gametophyte does not turf Grahame and it is not immoral.; sent5 & int8 -> int9: the patriot is not immoral.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the fact that the northerly is not nontranslational is true.
sent21 -> int11: if that the Esselen is chitinous and not non-actinomycetal is not right it is not non-actinomycetal.; sent17 -> int12: if the shoveler does not turf Grahame and is a reflation then it is not chitinous.; sent22 & sent24 -> int13: the endoneurium is not a kind of a Prussian.; int13 -> int14: there exists something such that it is not a Prussian.;
$hypothesis$ = the Esselen is nontranslational. ; $context$ = sent1: if the endoneurium is immoral then the fact that the gametophyte is peroneal is not false. sent2: the cosmologist is nontranslational if there exists something such that the fact that it is not chitinous and does not turf Grahame is incorrect. sent3: the endoneurium is peroneal if there exists something such that the fact that it is not a slalom and not a vitalness is not correct. sent4: if the Esselen is not nontranslational then the fact that the shoveler is both not a slalom and not a vitalness is wrong. sent5: if the gametophyte does not turf Grahame and is not immoral the patriot is not immoral. sent6: if the Esselen is not actinomycetal the fact that it is not immoral and not peroneal is not correct. sent7: that the Esselen is chitinous and it is actinomycetal is not right if there exists something such that it is not chitinous. sent8: the Esselen is non-actinomycetal if the gametophyte is translational but not non-actinomycetal. sent9: the patriot is immoral if the endoneurium is peroneal. sent10: if there is something such that that it is not a kind of a reflation and it is chitinous is wrong then the gametophyte is not actinomycetal. sent11: that the cosmologist is not a reflation and is chitinous is not right. sent12: there exists something such that the fact that it does not flatten Kennan and does flatten yardstick does not hold. sent13: the gametophyte is not a reflation. sent14: if the gametophyte is non-peroneal then it is not a kind of a reflation and it is not actinomycetal. sent15: the patriot is a kind of a layman. sent16: a non-actinomycetal thing does not turf Grahame and is not immoral. sent17: something is not chitinous if it does not turf Grahame and is a kind of a reflation. sent18: if there exists something such that that it is moral and it is non-peroneal does not hold then the northerly is not nontranslational. sent19: that the shoveler is not actinomycetal and it is not chitinous is false if the gametophyte is not a kind of a vitalness. sent20: the cosmologist is not chitinous and it is not actinomycetal if it is not nontranslational. sent21: if the fact that something is chitinous and it is actinomycetal is wrong then it is not actinomycetal. sent22: there exists something such that the fact that it flattens sunspot and it is secular hold. sent23: the cosmologist does not turf Grahame. sent24: if something does flatten sunspot and is secular then the endoneurium is not a Prussian. sent25: if the patriot does turf Grahame then the gametophyte is immoral. ; $proof$ = 
void -> assump1: Let's assume that the Esselen is not nontranslational.; sent4 & assump1 -> int1: that the shoveler is not a slalom and not a vitalness is wrong.; int1 -> int2: there is something such that that it is not a slalom and it is not a vitalness is incorrect.; int2 & sent3 -> int3: the endoneurium is peroneal.; int3 & sent9 -> int4: the patriot is immoral.; sent16 -> int5: the gametophyte does not turf Grahame and it is not immoral if that it is non-actinomycetal is not false.; sent11 -> int6: there is something such that the fact that it is not a reflation but chitinous is not right.; int6 & sent10 -> int7: the gametophyte is not actinomycetal.; int5 & int7 -> int8: the gametophyte does not turf Grahame and it is not immoral.; sent5 & int8 -> int9: the patriot is not immoral.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__