the couchette does lace have-not and does not rehabilitate.
sent1: that the abattoir is not an augur and not inauspicious does not hold. sent2: The hogchoker articles highroad. sent3: if the major does not article downstroke then the couchette does not article downstroke and it does not parse moonflower. sent4: if the couchette does not lace have-not and it does not parse moonflower then it is not Coleridgian. sent5: if the couchette is not inauspicious it does lace have-not and does not rehabilitate. sent6: if the highroad articles hogchoker and is a yodeling then the wince is not a Nesselrode. sent7: the highroad is a kind of a yodeling. sent8: the couchette does not rehabilitate if it is not inauspicious. sent9: if something articles hogchoker then that it does lace have-not and it does not rehabilitate does not hold. sent10: if the fact that the conventicle is non-Coleridgian thing that is not a Nesselrode is false the major does not article downstroke. sent11: the fact that the couchette is not a beggar is not incorrect. sent12: the fact that the conventicle is Coleridgian but it is not a Nesselrode does not hold if the wince is not a kind of a Nesselrode. sent13: the fact that the conventicle is not Coleridgian but it is a Nesselrode is false if the wince is not a Nesselrode. sent14: the highroad articles hogchoker. sent15: that the conventicle is not Coleridgian and it is not a kind of a Nesselrode does not hold if the wince is not a Nesselrode. sent16: the couchette is not inauspicious if it does not article downstroke and does not parse moonflower. sent17: the couchette is not inauspicious if it does article downstroke and does not parse moonflower.
sent14 & sent7 -> int1: the highroad articles hogchoker and is a yodeling.; int1 & sent6 -> int2: the wince is not a Nesselrode.; int2 & sent15 -> int3: that the conventicle is non-Coleridgian and it is not a kind of a Nesselrode does not hold.; int3 & sent10 -> int4: the major does not article downstroke.; int4 & sent3 -> int5: the fact that the couchette does not article downstroke and does not parse moonflower is not wrong.; int5 & sent16 -> int6: the couchette is not inauspicious.; int6 & sent5 -> hypothesis;
that the couchette does lace have-not but it does not rehabilitate is not right.
sent9 -> int7: that if the couchette does article hogchoker then the fact that the couchette does lace have-not and does not rehabilitate does not hold is correct.;
$hypothesis$ = the couchette does lace have-not and does not rehabilitate. ; $context$ = sent1: that the abattoir is not an augur and not inauspicious does not hold. sent2: The hogchoker articles highroad. sent3: if the major does not article downstroke then the couchette does not article downstroke and it does not parse moonflower. sent4: if the couchette does not lace have-not and it does not parse moonflower then it is not Coleridgian. sent5: if the couchette is not inauspicious it does lace have-not and does not rehabilitate. sent6: if the highroad articles hogchoker and is a yodeling then the wince is not a Nesselrode. sent7: the highroad is a kind of a yodeling. sent8: the couchette does not rehabilitate if it is not inauspicious. sent9: if something articles hogchoker then that it does lace have-not and it does not rehabilitate does not hold. sent10: if the fact that the conventicle is non-Coleridgian thing that is not a Nesselrode is false the major does not article downstroke. sent11: the fact that the couchette is not a beggar is not incorrect. sent12: the fact that the conventicle is Coleridgian but it is not a Nesselrode does not hold if the wince is not a kind of a Nesselrode. sent13: the fact that the conventicle is not Coleridgian but it is a Nesselrode is false if the wince is not a Nesselrode. sent14: the highroad articles hogchoker. sent15: that the conventicle is not Coleridgian and it is not a kind of a Nesselrode does not hold if the wince is not a Nesselrode. sent16: the couchette is not inauspicious if it does not article downstroke and does not parse moonflower. sent17: the couchette is not inauspicious if it does article downstroke and does not parse moonflower. ; $proof$ = 
sent14 & sent7 -> int1: the highroad articles hogchoker and is a yodeling.; int1 & sent6 -> int2: the wince is not a Nesselrode.; int2 & sent15 -> int3: that the conventicle is non-Coleridgian and it is not a kind of a Nesselrode does not hold.; int3 & sent10 -> int4: the major does not article downstroke.; int4 & sent3 -> int5: the fact that the couchette does not article downstroke and does not parse moonflower is not wrong.; int5 & sent16 -> int6: the couchette is not inauspicious.; int6 & sent5 -> hypothesis; __PROVED__