the wonderer tweedles Pseudoryx.
sent1: the chincapin perseveres. sent2: the loin is not nonnative if it is non-caryophyllaceous thing that does define. sent3: if that there is something such that that it does recombine hexachlorophene and it does not careen is false is not wrong then the chincapin obsesses. sent4: if the argonaut does not persevere then the loin defines. sent5: the chincapin is a native. sent6: there exists something such that the fact that it does splutter displacement and tweedles Pseudoryx is wrong. sent7: the loin is not caryophyllaceous but it defines if the argonaut does not persevere. sent8: the wonderer does not obsess. sent9: the chincapin does not obsess. sent10: that that the wonderer does persevere and does splutter displacement is not right is not wrong. sent11: there exists something such that it recombines hexachlorophene and does not splutter displacement. sent12: if the loin is a native the wonderer splutters displacement. sent13: the argonaut does not careen. sent14: the loin does define. sent15: the wonderer does tweedle Pseudoryx if it does splutter displacement. sent16: the loin does not persevere and defines. sent17: the argonaut does not persevere if it does recombine hexachlorophene and does not careen.
void -> assump1: Let's assume that the fact that the argonaut does recombine hexachlorophene but it does not careen is incorrect.; assump1 -> int1: there is something such that that it recombines hexachlorophene and it does not careen does not hold.; int1 & sent3 -> int2: that the chincapin obsesses is true.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the argonaut does recombine hexachlorophene and does not careen.; int4 & sent17 -> int5: the argonaut does not persevere.; int5 & sent7 -> int6: the loin is not caryophyllaceous but it does define.; int6 & sent2 -> int7: the loin is native.; int7 & sent12 -> int8: that the wonderer splutters displacement is not false.; int8 & sent15 -> hypothesis;
$hypothesis$ = the wonderer tweedles Pseudoryx. ; $context$ = sent1: the chincapin perseveres. sent2: the loin is not nonnative if it is non-caryophyllaceous thing that does define. sent3: if that there is something such that that it does recombine hexachlorophene and it does not careen is false is not wrong then the chincapin obsesses. sent4: if the argonaut does not persevere then the loin defines. sent5: the chincapin is a native. sent6: there exists something such that the fact that it does splutter displacement and tweedles Pseudoryx is wrong. sent7: the loin is not caryophyllaceous but it defines if the argonaut does not persevere. sent8: the wonderer does not obsess. sent9: the chincapin does not obsess. sent10: that that the wonderer does persevere and does splutter displacement is not right is not wrong. sent11: there exists something such that it recombines hexachlorophene and does not splutter displacement. sent12: if the loin is a native the wonderer splutters displacement. sent13: the argonaut does not careen. sent14: the loin does define. sent15: the wonderer does tweedle Pseudoryx if it does splutter displacement. sent16: the loin does not persevere and defines. sent17: the argonaut does not persevere if it does recombine hexachlorophene and does not careen. ; $proof$ = 
void -> assump1: Let's assume that the fact that the argonaut does recombine hexachlorophene but it does not careen is incorrect.; assump1 -> int1: there is something such that that it recombines hexachlorophene and it does not careen does not hold.; int1 & sent3 -> int2: that the chincapin obsesses is true.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the argonaut does recombine hexachlorophene and does not careen.; int4 & sent17 -> int5: the argonaut does not persevere.; int5 & sent7 -> int6: the loin is not caryophyllaceous but it does define.; int6 & sent2 -> int7: the loin is native.; int7 & sent12 -> int8: that the wonderer splutters displacement is not false.; int8 & sent15 -> hypothesis; __PROVED__