there exists something such that if that it ferments blackfish is correct then it is a kind of non-coccygeal thing that is Demosthenic.
sent1: something that does ferment blackfish is coccygeal and is Demosthenic. sent2: the fact that the blackfish does not harangue Honolulu and is supervisory is not incorrect if the fact that it is untrustworthy is correct. sent3: if the cotton spirals then it is non-Demosthenic thing that harangues prospector. sent4: something is not postexilic but it is a kind of an unknown if it is a phoenix. sent5: if the blackfish ferments blackfish it does not underlie and it is a kind of a horology. sent6: something is not coccygeal but it is Demosthenic if it does ferment blackfish. sent7: there is something such that if it is a timecard it is not amethystine and is allomorphic. sent8: if the cattleman is nonexplosive then it is not amethystine and is Demosthenic. sent9: there is something such that if it does upload inula then it is allomorphic. sent10: if something uploads Umbelliferae it does not upload sailing and is incorrupt. sent11: something harangues casino and it is subsequent if that it does expense hold. sent12: there is something such that if it does achieve then it does stick. sent13: something is not amethystine but it is unicameral if it is a kind of a conduit.
sent6 -> int1: if the blackfish ferments blackfish it is not coccygeal but Demosthenic.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it ferments blackfish is correct then it is a kind of non-coccygeal thing that is Demosthenic. ; $context$ = sent1: something that does ferment blackfish is coccygeal and is Demosthenic. sent2: the fact that the blackfish does not harangue Honolulu and is supervisory is not incorrect if the fact that it is untrustworthy is correct. sent3: if the cotton spirals then it is non-Demosthenic thing that harangues prospector. sent4: something is not postexilic but it is a kind of an unknown if it is a phoenix. sent5: if the blackfish ferments blackfish it does not underlie and it is a kind of a horology. sent6: something is not coccygeal but it is Demosthenic if it does ferment blackfish. sent7: there is something such that if it is a timecard it is not amethystine and is allomorphic. sent8: if the cattleman is nonexplosive then it is not amethystine and is Demosthenic. sent9: there is something such that if it does upload inula then it is allomorphic. sent10: if something uploads Umbelliferae it does not upload sailing and is incorrupt. sent11: something harangues casino and it is subsequent if that it does expense hold. sent12: there is something such that if it does achieve then it does stick. sent13: something is not amethystine but it is unicameral if it is a kind of a conduit. ; $proof$ = 
sent6 -> int1: if the blackfish ferments blackfish it is not coccygeal but Demosthenic.; int1 -> hypothesis; __PROVED__