the intoxicant does cut.
sent1: something is a cut if that it does obsess is not incorrect. sent2: something disobeys perfectionist if it cuts. sent3: that the lady's-eardrop is not hipless hold. sent4: if something that does not obsess is hipped it does not cut. sent5: something does not disobey links but it is a kangaroo's-foot if it is not a kind of a camlet. sent6: the intoxicant does not obsess and is not hipless if that the ribavirin disobeys perfectionist hold. sent7: the intoxicant is not hipless if that it is a kind of hipless thing that does disobey perfectionist does not hold. sent8: the fact that the intoxicant is hipless and it disobeys perfectionist does not hold. sent9: if that something is a Kalimantan but not a costs is incorrect then it is not a camlet. sent10: if something is not hipless it does obsess.
sent10 -> int1: the intoxicant does obsess if it is not hipless.; sent7 & sent8 -> int2: the intoxicant is not hipless.; int1 & int2 -> int3: the intoxicant does obsess.; sent1 -> int4: the intoxicant is a cut if it obsesses.; int3 & int4 -> hypothesis;
the intoxicant does not cut.
sent4 -> int5: the intoxicant is not a cut if it does not obsess and it is not hipless.; sent5 -> int6: if the thiazine is not a camlet it does not disobey links and is a kangaroo's-foot.; sent9 -> int7: if that the thiazine is a Kalimantan but it does not cost is not right then it is not a kind of a camlet.;
$hypothesis$ = the intoxicant does cut. ; $context$ = sent1: something is a cut if that it does obsess is not incorrect. sent2: something disobeys perfectionist if it cuts. sent3: that the lady's-eardrop is not hipless hold. sent4: if something that does not obsess is hipped it does not cut. sent5: something does not disobey links but it is a kangaroo's-foot if it is not a kind of a camlet. sent6: the intoxicant does not obsess and is not hipless if that the ribavirin disobeys perfectionist hold. sent7: the intoxicant is not hipless if that it is a kind of hipless thing that does disobey perfectionist does not hold. sent8: the fact that the intoxicant is hipless and it disobeys perfectionist does not hold. sent9: if that something is a Kalimantan but not a costs is incorrect then it is not a camlet. sent10: if something is not hipless it does obsess. ; $proof$ = 
sent10 -> int1: the intoxicant does obsess if it is not hipless.; sent7 & sent8 -> int2: the intoxicant is not hipless.; int1 & int2 -> int3: the intoxicant does obsess.; sent1 -> int4: the intoxicant is a cut if it obsesses.; int3 & int4 -> hypothesis; __PROVED__