that there is something such that if that it is a bookbinder hold then it is a kind of a doorlock and it is not eradicable is wrong.
sent1: there is something such that if it does casket Arcturus then it is both bottom-up and not carcinogenic. sent2: if something is a soapfish then it multiplies dub and is not a googolplex. sent3: there exists something such that if it is a Gosainthan it is not a horizon. sent4: if the arteriogram is soleless then it is both a neckwear and not eradicable. sent5: if the arteriogram is not non-metastatic then it is eradicable thing that does not casket arteriogram. sent6: if something is a bookbinder then it is a doorlock and it is not eradicable. sent7: there is something such that if it does multiply lammergeier then it is a pteridologist and not Sabahan. sent8: there exists something such that if the fact that it is a kind of a bookbinder is true it is not eradicable. sent9: the arteriogram is eradicable and is not calculous if it is irremovable. sent10: something is ineradicable if it is a bookbinder. sent11: if the arteriogram is a bookbinder it is not eradicable.
sent6 -> int1: the arteriogram is a doorlock but it is not eradicable if it is a kind of a bookbinder.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if that it is a bookbinder hold then it is a kind of a doorlock and it is not eradicable is wrong. ; $context$ = sent1: there is something such that if it does casket Arcturus then it is both bottom-up and not carcinogenic. sent2: if something is a soapfish then it multiplies dub and is not a googolplex. sent3: there exists something such that if it is a Gosainthan it is not a horizon. sent4: if the arteriogram is soleless then it is both a neckwear and not eradicable. sent5: if the arteriogram is not non-metastatic then it is eradicable thing that does not casket arteriogram. sent6: if something is a bookbinder then it is a doorlock and it is not eradicable. sent7: there is something such that if it does multiply lammergeier then it is a pteridologist and not Sabahan. sent8: there exists something such that if the fact that it is a kind of a bookbinder is true it is not eradicable. sent9: the arteriogram is eradicable and is not calculous if it is irremovable. sent10: something is ineradicable if it is a bookbinder. sent11: if the arteriogram is a bookbinder it is not eradicable. ; $proof$ = 
sent6 -> int1: the arteriogram is a doorlock but it is not eradicable if it is a kind of a bookbinder.; int1 -> hypothesis; __DISPROVED__