the caraway does not bankrupt unintelligibility.
sent1: the Postimpressionist is not paranasal. sent2: if the titanium is not a correlate the filling is not pancreatic. sent3: the Postimpressionist does target. sent4: the fact that the exterminator does not bankrupt unintelligibility hold. sent5: the Postimpressionist does not riffle clang and/or it is not a Kerouac if it does target. sent6: if the exterminator is not a tabloid and is not a heterosexual then the caraway does not bankrupt unintelligibility. sent7: The hours does bankrupt titanium. sent8: something does not riffle clang if it does not riffle clang or it is not a Kerouac or both. sent9: the caraway is pancreatic or it does not bankrupt unintelligibility or both if it does correlate. sent10: if that the wheel is not a stem-winder is right then the exterminator is not a tabloid and it is not a heterosexual. sent11: if the Postimpressionist is non-pancreatic thing that is not a stem-winder the filling does not riffle clang. sent12: the wheel is not a stem-winder if the titanium is a kind of a neoteny and it bankrupts hours. sent13: something is a kind of a neoteny if it correlates. sent14: if the filling is non-pancreatic the Postimpressionist riffles clang. sent15: if the Postimpressionist is a correlate but it is not a neoteny then the titanium is not a Kerouac.
void -> assump1: Let's assume that the titanium does not correlate.; sent2 & assump1 -> int1: the filling is not pancreatic.; int1 & sent14 -> int2: the Postimpressionist riffles clang.; sent8 -> int3: the Postimpressionist does not riffle clang if it does not riffle clang and/or it is not a Kerouac.; sent5 & sent3 -> int4: the Postimpressionist does not riffle clang or is not a kind of a Kerouac or both.; int3 & int4 -> int5: the Postimpressionist does not riffle clang.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the titanium is a kind of a correlate.; sent13 -> int8: the titanium is a neoteny if it is a kind of a correlate.; int7 & int8 -> int9: the titanium is a neoteny.;
$hypothesis$ = the caraway does not bankrupt unintelligibility. ; $context$ = sent1: the Postimpressionist is not paranasal. sent2: if the titanium is not a correlate the filling is not pancreatic. sent3: the Postimpressionist does target. sent4: the fact that the exterminator does not bankrupt unintelligibility hold. sent5: the Postimpressionist does not riffle clang and/or it is not a Kerouac if it does target. sent6: if the exterminator is not a tabloid and is not a heterosexual then the caraway does not bankrupt unintelligibility. sent7: The hours does bankrupt titanium. sent8: something does not riffle clang if it does not riffle clang or it is not a Kerouac or both. sent9: the caraway is pancreatic or it does not bankrupt unintelligibility or both if it does correlate. sent10: if that the wheel is not a stem-winder is right then the exterminator is not a tabloid and it is not a heterosexual. sent11: if the Postimpressionist is non-pancreatic thing that is not a stem-winder the filling does not riffle clang. sent12: the wheel is not a stem-winder if the titanium is a kind of a neoteny and it bankrupts hours. sent13: something is a kind of a neoteny if it correlates. sent14: if the filling is non-pancreatic the Postimpressionist riffles clang. sent15: if the Postimpressionist is a correlate but it is not a neoteny then the titanium is not a Kerouac. ; $proof$ = 
void -> assump1: Let's assume that the titanium does not correlate.; sent2 & assump1 -> int1: the filling is not pancreatic.; int1 & sent14 -> int2: the Postimpressionist riffles clang.; sent8 -> int3: the Postimpressionist does not riffle clang if it does not riffle clang and/or it is not a Kerouac.; sent5 & sent3 -> int4: the Postimpressionist does not riffle clang or is not a kind of a Kerouac or both.; int3 & int4 -> int5: the Postimpressionist does not riffle clang.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the titanium is a kind of a correlate.; sent13 -> int8: the titanium is a neoteny if it is a kind of a correlate.; int7 & int8 -> int9: the titanium is a neoteny.; __UNKNOWN__