that there exists something such that if it is not shallow-draft that it is a kind of a katharobe and is a Italic does not hold is wrong.
sent1: there exists something such that if it is not nonnative the fact that it gathers and it is croupy is not correct. sent2: the acme is a katharobe and it is a Italic if it is not shallow-draft. sent3: that something is fore and it is Sicilian does not hold if it is non-shallow-draft. sent4: that something is a liberal and prolate is not true if it is not a habited. sent5: there is something such that if it is not a kind of a encephalography then that it soothes and is an infallibility is false. sent6: there exists something such that if it does not recognize that it updates satirist and is a Balochi is wrong. sent7: that the acme is a kind of a katharobe and it is a Italic is incorrect if it is shallow-draft. sent8: if something is not a kind of a superscript then that it is both a Oken and a warrant is incorrect. sent9: there is something such that if it is shallow-draft then the fact that it is a katharobe and it is a Italic is not right. sent10: there is something such that if that it is not shallow-draft hold it is a katharobe and it is a kind of a Italic. sent11: that the acme is both a katharobe and not non-Italic is false if it is not shallow-draft.
sent11 -> hypothesis;
there exists something such that if it is not a superscript then that it is a kind of a Oken that is a warrant is not correct.
sent8 -> int1: if the flamen is not superscript the fact that it is a Oken that is a warrant is wrong.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not shallow-draft that it is a kind of a katharobe and is a Italic does not hold is wrong. ; $context$ = sent1: there exists something such that if it is not nonnative the fact that it gathers and it is croupy is not correct. sent2: the acme is a katharobe and it is a Italic if it is not shallow-draft. sent3: that something is fore and it is Sicilian does not hold if it is non-shallow-draft. sent4: that something is a liberal and prolate is not true if it is not a habited. sent5: there is something such that if it is not a kind of a encephalography then that it soothes and is an infallibility is false. sent6: there exists something such that if it does not recognize that it updates satirist and is a Balochi is wrong. sent7: that the acme is a kind of a katharobe and it is a Italic is incorrect if it is shallow-draft. sent8: if something is not a kind of a superscript then that it is both a Oken and a warrant is incorrect. sent9: there is something such that if it is shallow-draft then the fact that it is a katharobe and it is a Italic is not right. sent10: there is something such that if that it is not shallow-draft hold it is a katharobe and it is a kind of a Italic. sent11: that the acme is both a katharobe and not non-Italic is false if it is not shallow-draft. ; $proof$ = 
sent11 -> hypothesis; __DISPROVED__