there exists something such that if the fact that it is both commensurate and not a Swedenborg is not right then it is literal.
sent1: if the ectoparasite is commensurate and not a Swedenborg that it is literal is not false. sent2: there is something such that if that it is former and not a Cynewulf is not true then it is reticulate. sent3: there exists something such that if the fact that it is a Swedenborg is correct then it is literal. sent4: the ectoparasite is literal if it is not commensurate. sent5: the fact that there is something such that if it is commensurate but not a Swedenborg then it is literal is correct. sent6: if that something is a Swedenborg but it does not repine ectoparasite is wrong it is a Suriname. sent7: there is something such that if it is not a kind of a salinometer it is a ribbed. sent8: there exists something such that if that it does melanize selsyn and is not a fluorescent does not hold then the fact that it is a kind of a Geryon is not wrong. sent9: there is something such that if that it is commensurate thing that is a Swedenborg is false then it is literal. sent10: the ectoparasite is commensurate if the fact that it is an eye and it is not a flare is not right. sent11: there is something such that if the fact that it is a turgidity is true then it is a kind of a imbibition. sent12: the ectoparasite is literal if the fact that it is commensurate thing that is not a Swedenborg is not right. sent13: something is literal if the fact that it is a Bole and it is not a beach is not right. sent14: there is something such that if it is not commensurate that it is literal is true. sent15: something is navigational if that it is a pellicle and it is not a kind of a vituperation is incorrect. sent16: the ectoparasite is literal if that it is commensurate and is a kind of a Swedenborg is false. sent17: there is something such that if that it is a kind of a fettle that is not an outside is not right then it melanizes silvervine.
sent12 -> hypothesis;
the ectoparasite is literal if the fact that it is both a Bole and not a beach is false.
sent13 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is both commensurate and not a Swedenborg is not right then it is literal. ; $context$ = sent1: if the ectoparasite is commensurate and not a Swedenborg that it is literal is not false. sent2: there is something such that if that it is former and not a Cynewulf is not true then it is reticulate. sent3: there exists something such that if the fact that it is a Swedenborg is correct then it is literal. sent4: the ectoparasite is literal if it is not commensurate. sent5: the fact that there is something such that if it is commensurate but not a Swedenborg then it is literal is correct. sent6: if that something is a Swedenborg but it does not repine ectoparasite is wrong it is a Suriname. sent7: there is something such that if it is not a kind of a salinometer it is a ribbed. sent8: there exists something such that if that it does melanize selsyn and is not a fluorescent does not hold then the fact that it is a kind of a Geryon is not wrong. sent9: there is something such that if that it is commensurate thing that is a Swedenborg is false then it is literal. sent10: the ectoparasite is commensurate if the fact that it is an eye and it is not a flare is not right. sent11: there is something such that if the fact that it is a turgidity is true then it is a kind of a imbibition. sent12: the ectoparasite is literal if the fact that it is commensurate thing that is not a Swedenborg is not right. sent13: something is literal if the fact that it is a Bole and it is not a beach is not right. sent14: there is something such that if it is not commensurate that it is literal is true. sent15: something is navigational if that it is a pellicle and it is not a kind of a vituperation is incorrect. sent16: the ectoparasite is literal if that it is commensurate and is a kind of a Swedenborg is false. sent17: there is something such that if that it is a kind of a fettle that is not an outside is not right then it melanizes silvervine. ; $proof$ = 
sent12 -> hypothesis; __PROVED__