that the instrument is not a culdoscopy hold.
sent1: if something that spots Liriope is not a kind of a jilt it is a backgrounding. sent2: something that is a Saxon is not tympanitic. sent3: the jackknife is Saxon and it does curry. sent4: the fact that the instrument is postal and does not beat jackknife is not true if the cardsharp is a Orangeman. sent5: the cardsharp is a kind of a Orangeman if the standard-bearer does background. sent6: if the fact that something is postal but it does not beat jackknife is not true then it is not a culdoscopy.
sent2 -> int1: if the jackknife is a Saxon then it is not tympanitic.; sent3 -> int2: the jackknife is a kind of a Saxon.; int1 & int2 -> int3: the jackknife is not tympanitic.; int3 -> int4: there exists something such that it is not tympanitic.; sent1 -> int5: the standard-bearer is a backgrounding if it does spot Liriope and is not a kind of a jilt.; sent6 -> int6: if that that the instrument is a kind of postal thing that does not beat jackknife is not correct is correct then it is not a culdoscopy.;
$hypothesis$ = that the instrument is not a culdoscopy hold. ; $context$ = sent1: if something that spots Liriope is not a kind of a jilt it is a backgrounding. sent2: something that is a Saxon is not tympanitic. sent3: the jackknife is Saxon and it does curry. sent4: the fact that the instrument is postal and does not beat jackknife is not true if the cardsharp is a Orangeman. sent5: the cardsharp is a kind of a Orangeman if the standard-bearer does background. sent6: if the fact that something is postal but it does not beat jackknife is not true then it is not a culdoscopy. ; $proof$ = 
sent2 -> int1: if the jackknife is a Saxon then it is not tympanitic.; sent3 -> int2: the jackknife is a kind of a Saxon.; int1 & int2 -> int3: the jackknife is not tympanitic.; int3 -> int4: there exists something such that it is not tympanitic.; sent1 -> int5: the standard-bearer is a backgrounding if it does spot Liriope and is not a kind of a jilt.; sent6 -> int6: if that that the instrument is a kind of postal thing that does not beat jackknife is not correct is correct then it is not a culdoscopy.; __UNKNOWN__