the fact that if the bloodworm is scalene then that the cantle is not a overspill and/or it does snivel does not hold is not correct.
sent1: the bloodworm is a worse. sent2: the cantle does not snivel if the bloodworm is scalene. sent3: the bloodworm is myelic if the fact that it is a piloting is not false. sent4: the fact that either the cantle is a kind of a overspill or it is a snivel or both is false. sent5: the fact that either the cantle is not a kind of a overspill or it is a snivel or both does not hold if the bloodworm is disobedient. sent6: either the bloodworm is not a overspill or it is a piloting or both. sent7: the bloodworm is a piloting if it is scalene. sent8: if the fact that something is a piloting is correct it is scalene. sent9: if something is myelic then it is not obedient. sent10: if the bloodworm is disobedient the cantle is not a snivel. sent11: the cantle is not a kind of a overspill and/or it is a snivel if the bloodworm is disobedient.
void -> assump1: Let's assume that the bloodworm is scalene.; sent7 & assump1 -> int1: the bloodworm is a piloting.; int1 & sent3 -> int2: the bloodworm is myelic.; sent9 -> int3: if the bloodworm is myelic then it is disobedient.; int2 & int3 -> int4: the bloodworm is disobedient.; int4 & sent5 -> int5: that the cantle is not a overspill or it is a snivel or both is not true.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if the bloodworm is scalene then that the cantle is not a overspill and/or it does snivel does not hold is not correct. ; $context$ = sent1: the bloodworm is a worse. sent2: the cantle does not snivel if the bloodworm is scalene. sent3: the bloodworm is myelic if the fact that it is a piloting is not false. sent4: the fact that either the cantle is a kind of a overspill or it is a snivel or both is false. sent5: the fact that either the cantle is not a kind of a overspill or it is a snivel or both does not hold if the bloodworm is disobedient. sent6: either the bloodworm is not a overspill or it is a piloting or both. sent7: the bloodworm is a piloting if it is scalene. sent8: if the fact that something is a piloting is correct it is scalene. sent9: if something is myelic then it is not obedient. sent10: if the bloodworm is disobedient the cantle is not a snivel. sent11: the cantle is not a kind of a overspill and/or it is a snivel if the bloodworm is disobedient. ; $proof$ = 
void -> assump1: Let's assume that the bloodworm is scalene.; sent7 & assump1 -> int1: the bloodworm is a piloting.; int1 & sent3 -> int2: the bloodworm is myelic.; sent9 -> int3: if the bloodworm is myelic then it is disobedient.; int2 & int3 -> int4: the bloodworm is disobedient.; int4 & sent5 -> int5: that the cantle is not a overspill or it is a snivel or both is not true.; [assump1] & int5 -> hypothesis; __DISPROVED__