there exists something such that if that it is not a kind of a lingual and it is sisterly is wrong then it does not plasticize.
sent1: there is something such that if that it is not sisterly is not false then it does not plasticize. sent2: if the fact that the nirvana is not a rapier but it is lingual is incorrect it is not an informant. sent3: if that the nirvana is not sisterly and bears arenavirus is incorrect it is holophytic. sent4: if the fact that something is not iconic but it is a banned is not correct then it is not secretory. sent5: there is something such that if it is not a lingual and it is sisterly then it does not plasticize. sent6: if the nirvana is not lingual and is sisterly it does not plasticize. sent7: if the exhalation does bear nirvana then it is not a kind of a flurry. sent8: if that the nirvana is non-unrhetorical thing that is an informant is not correct it is not a kind of a lingual. sent9: there is something such that if the fact that it is a boutonniere that does superscribe incitation is false then it is not a kind of a gromwell. sent10: the nirvana is wingless if the fact that it is non-xenogeneic thing that tautens second-rater is not right. sent11: there exists something such that if it is a wandflower then that it is not a civilian is correct. sent12: there is something such that if it is a histoincompatibility then it is not Libyan. sent13: there exists something such that if that it is apocalyptic and it is a Babylonian is wrong it does not brachiate. sent14: the Don is a kind of a banned if that it is non-sisterly thing that is unconstitutional is not correct. sent15: if the fact that the nirvana is not a kind of a lingual and is sisterly is false it does not plasticize. sent16: there is something such that if that it does superscribe succotash and it is not rhetorical does not hold it is not a caragana. sent17: there is something such that if that it is not a lingual and it is sisterly is not correct it does plasticize.
sent15 -> hypothesis;
there is something such that if that it is non-iconic a banned is not correct then it is not secretory.
sent4 -> int1: if that that the edge is not iconic but it is a banned hold does not hold then it is not secretory.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a kind of a lingual and it is sisterly is wrong then it does not plasticize. ; $context$ = sent1: there is something such that if that it is not sisterly is not false then it does not plasticize. sent2: if the fact that the nirvana is not a rapier but it is lingual is incorrect it is not an informant. sent3: if that the nirvana is not sisterly and bears arenavirus is incorrect it is holophytic. sent4: if the fact that something is not iconic but it is a banned is not correct then it is not secretory. sent5: there is something such that if it is not a lingual and it is sisterly then it does not plasticize. sent6: if the nirvana is not lingual and is sisterly it does not plasticize. sent7: if the exhalation does bear nirvana then it is not a kind of a flurry. sent8: if that the nirvana is non-unrhetorical thing that is an informant is not correct it is not a kind of a lingual. sent9: there is something such that if the fact that it is a boutonniere that does superscribe incitation is false then it is not a kind of a gromwell. sent10: the nirvana is wingless if the fact that it is non-xenogeneic thing that tautens second-rater is not right. sent11: there exists something such that if it is a wandflower then that it is not a civilian is correct. sent12: there is something such that if it is a histoincompatibility then it is not Libyan. sent13: there exists something such that if that it is apocalyptic and it is a Babylonian is wrong it does not brachiate. sent14: the Don is a kind of a banned if that it is non-sisterly thing that is unconstitutional is not correct. sent15: if the fact that the nirvana is not a kind of a lingual and is sisterly is false it does not plasticize. sent16: there is something such that if that it does superscribe succotash and it is not rhetorical does not hold it is not a caragana. sent17: there is something such that if that it is not a lingual and it is sisterly is not correct it does plasticize. ; $proof$ = 
sent15 -> hypothesis; __PROVED__