that there exists something such that the fact that it is a jockey is correct is incorrect.
sent1: there exists something such that it is a thill. sent2: the uncle is not a kind of a pyroxylin. sent3: if the uncle is a thill then the alkahest does jockey. sent4: the uncle is a thill. sent5: the fact that if something is not catadromous it is a protactinium and is a jockey is right. sent6: the crutch is a thill. sent7: the uncle is a kind of a stillness. sent8: if the uncle is not a kind of a pyroxylin it is Argentine thing that finalizes Lir. sent9: the alkahest is a kind of a thill if the uncle does jockey. sent10: the dentifrice is a thill if there is something such that it is a jockey and Argentine. sent11: the alkahest is a gleet. sent12: the uncle jockeys if the alkahest is a thill. sent13: there is something such that it does finalize Lir. sent14: the office-bearer is a thill.
sent3 & sent4 -> int1: the alkahest is a kind of a jockey.; int1 -> hypothesis;
the dentifrice is a thill.
sent5 -> int2: if the alkahest is non-catadromous then it is a protactinium that does jockey.; sent2 & sent8 -> int3: the uncle is Argentine and does finalize Lir.; int3 -> int4: the uncle is Argentine.;
$hypothesis$ = that there exists something such that the fact that it is a jockey is correct is incorrect. ; $context$ = sent1: there exists something such that it is a thill. sent2: the uncle is not a kind of a pyroxylin. sent3: if the uncle is a thill then the alkahest does jockey. sent4: the uncle is a thill. sent5: the fact that if something is not catadromous it is a protactinium and is a jockey is right. sent6: the crutch is a thill. sent7: the uncle is a kind of a stillness. sent8: if the uncle is not a kind of a pyroxylin it is Argentine thing that finalizes Lir. sent9: the alkahest is a kind of a thill if the uncle does jockey. sent10: the dentifrice is a thill if there is something such that it is a jockey and Argentine. sent11: the alkahest is a gleet. sent12: the uncle jockeys if the alkahest is a thill. sent13: there is something such that it does finalize Lir. sent14: the office-bearer is a thill. ; $proof$ = 
sent3 & sent4 -> int1: the alkahest is a kind of a jockey.; int1 -> hypothesis; __DISPROVED__