the saucepot is not a eliminator.
sent1: the saucepot is divergent a cytophotometer. sent2: the dangleberry is a cytophotometer. sent3: something is a Cenozoic and/or it is divergent if it is not a kind of a cytophotometer. sent4: there exists something such that that that it is Masonic and is migratory hold is not true. sent5: the papaverine is sexual. sent6: something is Cenozoic thing that is not sexual if it is divergent. sent7: the saucepot is not non-neuroglial if the fact that it is a kind of a cytophotometer is true. sent8: the saucepot browses nonacceptance. sent9: the saucepot is metamorphous. sent10: if something is not divergent it is a kind of a eliminator and is a millboard. sent11: if a migratory thing is Masonic the fact that the Toltec does not configure dextrin is not wrong. sent12: if the saucepot does not configure dextrin then the stablemate is both Cenozoic and sexual. sent13: the fact that the dulcimer does configure dextrin and is sexual is not correct if there exists something such that it does not configure dextrin. sent14: there is something such that it does configure autoplasty and it is enteric. sent15: if the Merlot is divergent the fact that the saucepot is a eliminator is right. sent16: if that the dulcimer configures dextrin and is sexual is not right then the fact that it is not sexual is not false. sent17: if there is something such that it configures autoplasty and it is enteric then the fact that the monomaniac is Masonic is not false. sent18: the choanocyte is not Cenozoic if it is illicit and does not browse Dendrolagus. sent19: the saucepot is Cenozoic if it is divergent. sent20: the saucepot is not a eliminator if it is a kind of Cenozoic thing that is not sexual. sent21: that the monomaniac is migratory is true.
sent1 -> int1: the saucepot is divergent.; sent6 -> int2: if the saucepot is divergent it is a Cenozoic and it is not sexual.; int1 & int2 -> int3: the saucepot is a Cenozoic but it is not sexual.; int3 & sent20 -> hypothesis;
the stablemate is a kind of a eliminator and it is a millboard.
sent10 -> int4: if the stablemate is not divergent then it is a kind of a eliminator and is a millboard.;
$hypothesis$ = the saucepot is not a eliminator. ; $context$ = sent1: the saucepot is divergent a cytophotometer. sent2: the dangleberry is a cytophotometer. sent3: something is a Cenozoic and/or it is divergent if it is not a kind of a cytophotometer. sent4: there exists something such that that that it is Masonic and is migratory hold is not true. sent5: the papaverine is sexual. sent6: something is Cenozoic thing that is not sexual if it is divergent. sent7: the saucepot is not non-neuroglial if the fact that it is a kind of a cytophotometer is true. sent8: the saucepot browses nonacceptance. sent9: the saucepot is metamorphous. sent10: if something is not divergent it is a kind of a eliminator and is a millboard. sent11: if a migratory thing is Masonic the fact that the Toltec does not configure dextrin is not wrong. sent12: if the saucepot does not configure dextrin then the stablemate is both Cenozoic and sexual. sent13: the fact that the dulcimer does configure dextrin and is sexual is not correct if there exists something such that it does not configure dextrin. sent14: there is something such that it does configure autoplasty and it is enteric. sent15: if the Merlot is divergent the fact that the saucepot is a eliminator is right. sent16: if that the dulcimer configures dextrin and is sexual is not right then the fact that it is not sexual is not false. sent17: if there is something such that it configures autoplasty and it is enteric then the fact that the monomaniac is Masonic is not false. sent18: the choanocyte is not Cenozoic if it is illicit and does not browse Dendrolagus. sent19: the saucepot is Cenozoic if it is divergent. sent20: the saucepot is not a eliminator if it is a kind of Cenozoic thing that is not sexual. sent21: that the monomaniac is migratory is true. ; $proof$ = 
sent1 -> int1: the saucepot is divergent.; sent6 -> int2: if the saucepot is divergent it is a Cenozoic and it is not sexual.; int1 & int2 -> int3: the saucepot is a Cenozoic but it is not sexual.; int3 & sent20 -> hypothesis; __PROVED__