the fact that there is something such that it is a clinodactyly does not hold.
sent1: the cybernaut is a suppository. sent2: the fact that the aircrewman is not a clinodactyly is correct. sent3: if the cybernaut is a suppository and it is a stylopodium the tearaway is not a kind of a clinodactyly. sent4: the domestic is not a rupturewort but it is a clinodactyly. sent5: something is a kind of a stylopodium if it does interdict domestic. sent6: the cybernaut does not honey Mencken and does interdict domestic if it is black-and-white. sent7: the cybernaut is not non-black-and-white. sent8: the fact that something is not a monohydrate but it is a rupturewort is not right if it is not a clinodactyly.
sent4 -> int1: the domestic is a clinodactyly.; int1 -> hypothesis;
there is something such that it is a monohydrate.
sent8 -> int2: if the tearaway is not a kind of a clinodactyly the fact that it is both not a monohydrate and a rupturewort does not hold.; sent5 -> int3: the cybernaut is a kind of a stylopodium if it does interdict domestic.; sent6 & sent7 -> int4: the cybernaut does not honey Mencken but it does interdict domestic.; int4 -> int5: the cybernaut interdicts domestic.; int3 & int5 -> int6: the cybernaut is a stylopodium.; sent1 & int6 -> int7: the cybernaut is a suppository and is a stylopodium.; sent3 & int7 -> int8: the tearaway is not a clinodactyly.; int2 & int8 -> int9: the fact that the tearaway is not a monohydrate but a rupturewort is not right.; int9 -> int10: there is something such that that that it is both not a monohydrate and a rupturewort hold is wrong.;
$hypothesis$ = the fact that there is something such that it is a clinodactyly does not hold. ; $context$ = sent1: the cybernaut is a suppository. sent2: the fact that the aircrewman is not a clinodactyly is correct. sent3: if the cybernaut is a suppository and it is a stylopodium the tearaway is not a kind of a clinodactyly. sent4: the domestic is not a rupturewort but it is a clinodactyly. sent5: something is a kind of a stylopodium if it does interdict domestic. sent6: the cybernaut does not honey Mencken and does interdict domestic if it is black-and-white. sent7: the cybernaut is not non-black-and-white. sent8: the fact that something is not a monohydrate but it is a rupturewort is not right if it is not a clinodactyly. ; $proof$ = 
sent4 -> int1: the domestic is a clinodactyly.; int1 -> hypothesis; __DISPROVED__