that there exists something such that if it is not a kind of a save-all that it is not a love-in-winter and does not contemn bighorn is not right does not hold.
sent1: if the bastille is a love-in-winter that it is non-uncompassionate thing that is not a kind of an astrologer is not correct. sent2: if the bastille is not a save-all the fact that it is not a love-in-winter and it does not contemn bighorn is not correct. sent3: there exists something such that if it is a kind of a asparagine then the fact that it is not artifactual and it is not a salver is not correct. sent4: there exists something such that if it is not a borstal then it does not unclutter and it is not an animist. sent5: that the nutcracker confines Seriphidium and is not a kind of a rattle is not right if that it is not a save-all is correct. sent6: that something does not major and it does not contemn squaretail is incorrect if it is not a kind of a gymnast.
sent2 -> hypothesis;
there is something such that if it is not a kind of a gymnast then the fact that it is not a kind of a major and it does not contemn squaretail is not right.
sent6 -> int1: that the fetishism is not a major and it does not contemn squaretail is not correct if it is not a gymnast.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not a kind of a save-all that it is not a love-in-winter and does not contemn bighorn is not right does not hold. ; $context$ = sent1: if the bastille is a love-in-winter that it is non-uncompassionate thing that is not a kind of an astrologer is not correct. sent2: if the bastille is not a save-all the fact that it is not a love-in-winter and it does not contemn bighorn is not correct. sent3: there exists something such that if it is a kind of a asparagine then the fact that it is not artifactual and it is not a salver is not correct. sent4: there exists something such that if it is not a borstal then it does not unclutter and it is not an animist. sent5: that the nutcracker confines Seriphidium and is not a kind of a rattle is not right if that it is not a save-all is correct. sent6: that something does not major and it does not contemn squaretail is incorrect if it is not a kind of a gymnast. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__