the preservative is a Rimbaud.
sent1: something is a kind of a binnacle and is not a COBOL. sent2: if something is not a casement then the contortionist is not shelflike. sent3: there is something such that that it is shelflike and is not a kind of a Rimbaud is not right. sent4: the contortionist is not shelflike if there exists something such that that it is a casement and not thinkable does not hold. sent5: there exists something such that that it is a casement and thinkable is false. sent6: something that is both not a COBOL and not a binnacle is not shelflike. sent7: that the stanhope is a binnacle but it is not a kind of a COBOL is incorrect if the contortionist is not shelflike. sent8: there is something such that that that it is a casement and it is not thinkable is right does not hold. sent9: something is a kind of a casement and is not thinkable. sent10: there is something such that that it is a binnacle and it is a COBOL is incorrect. sent11: if there is something such that it is not a binnacle then the preservative is a Rimbaud. sent12: if there is something such that the fact that it is a binnacle and it is not a COBOL is not right then the fact that the preservative is not a Rimbaud does not hold. sent13: something is not a kind of a Rimbaud if it is not shelflike and/or it is not a binnacle.
sent8 & sent4 -> int1: the contortionist is not shelflike.; sent7 & int1 -> int2: the fact that the stanhope is a binnacle but it is not a kind of a COBOL is wrong.; int2 -> int3: there is something such that that it is a binnacle and is not a COBOL is incorrect.; int3 & sent12 -> hypothesis;
the preservative is not a Rimbaud.
sent13 -> int4: that the preservative is not a kind of the Rimbaud if the preservative is non-shelflike or it is not a binnacle or both is not incorrect.;
$hypothesis$ = the preservative is a Rimbaud. ; $context$ = sent1: something is a kind of a binnacle and is not a COBOL. sent2: if something is not a casement then the contortionist is not shelflike. sent3: there is something such that that it is shelflike and is not a kind of a Rimbaud is not right. sent4: the contortionist is not shelflike if there exists something such that that it is a casement and not thinkable does not hold. sent5: there exists something such that that it is a casement and thinkable is false. sent6: something that is both not a COBOL and not a binnacle is not shelflike. sent7: that the stanhope is a binnacle but it is not a kind of a COBOL is incorrect if the contortionist is not shelflike. sent8: there is something such that that that it is a casement and it is not thinkable is right does not hold. sent9: something is a kind of a casement and is not thinkable. sent10: there is something such that that it is a binnacle and it is a COBOL is incorrect. sent11: if there is something such that it is not a binnacle then the preservative is a Rimbaud. sent12: if there is something such that the fact that it is a binnacle and it is not a COBOL is not right then the fact that the preservative is not a Rimbaud does not hold. sent13: something is not a kind of a Rimbaud if it is not shelflike and/or it is not a binnacle. ; $proof$ = 
sent8 & sent4 -> int1: the contortionist is not shelflike.; sent7 & int1 -> int2: the fact that the stanhope is a binnacle but it is not a kind of a COBOL is wrong.; int2 -> int3: there is something such that that it is a binnacle and is not a COBOL is incorrect.; int3 & sent12 -> hypothesis; __PROVED__