that there is something such that if it is pyknotic thing that does not chasten it is not a saxophonist is not right.
sent1: there exists something such that if it is a kind of a allometry and it is not a Liege then it does not confederate Gempylidae. sent2: the Zuni is not a chasm if it is a blubber that is not a kind of a saxophonist. sent3: if something is a kind of a marmalade and does not cascade coliphage it is a kind of a chasm. sent4: the tryptophan is not bathymetric if it is a kind of pyknotic thing that does not cascade coliphage. sent5: something is not a saxophonist if it is a kind of pyknotic thing that does not chasten. sent6: if the tryptophan is pyknotic but it does not chasten it is a saxophonist.
sent5 -> int1: if the tryptophan is pyknotic thing that does not chasten it is not a kind of a saxophonist.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is pyknotic thing that does not chasten it is not a saxophonist is not right. ; $context$ = sent1: there exists something such that if it is a kind of a allometry and it is not a Liege then it does not confederate Gempylidae. sent2: the Zuni is not a chasm if it is a blubber that is not a kind of a saxophonist. sent3: if something is a kind of a marmalade and does not cascade coliphage it is a kind of a chasm. sent4: the tryptophan is not bathymetric if it is a kind of pyknotic thing that does not cascade coliphage. sent5: something is not a saxophonist if it is a kind of pyknotic thing that does not chasten. sent6: if the tryptophan is pyknotic but it does not chasten it is a saxophonist. ; $proof$ = 
sent5 -> int1: if the tryptophan is pyknotic thing that does not chasten it is not a kind of a saxophonist.; int1 -> hypothesis; __DISPROVED__