the bow does not untune cassock.
sent1: if that the subdivider does untune capitation but it does not debar fathom is not correct then the fingernail does debar fathom. sent2: if the painting is not feudal that the bow groups breasted and it debars souffle hold. sent3: if there exists something such that it hobnobs then the painting does not debar souffle. sent4: if there exists something such that it is not feudal the subdivider is acronymic. sent5: if there is something such that it does hobnob then the fact that either the painting does not group breasted or it does debar souffle or both is not right. sent6: something is acronymic. sent7: if something does not debar fathom but it is acronymic it untunes capitation. sent8: if something groups breasted then it does not untune cassock and does not hobnob. sent9: if the subdivider does untune capitation then the bow does untune cassock. sent10: the Arikara does hobnob. sent11: something debars fathom and/or it does hobnob if the fact that it does not group breasted is right. sent12: the subdivider does not debar fathom but it is acronymic if something is not feudal. sent13: the fingernail is not feudal if the fact that the painting does not group breasted and/or does debar souffle is not right.
sent10 -> int1: that something hobnobs is not incorrect.; int1 & sent5 -> int2: that the painting does not group breasted and/or it does debar souffle is wrong.; int2 & sent13 -> int3: the fingernail is not feudal.; int3 -> int4: there is something such that it is not feudal.; int4 & sent12 -> int5: the subdivider does not debar fathom but it is acronymic.; sent7 -> int6: the subdivider does untune capitation if it does not debar fathom and is acronymic.; int5 & int6 -> int7: the subdivider untunes capitation.; int7 & sent9 -> hypothesis;
the bow does not untune cassock.
sent8 -> int8: the bow does not untune cassock and does not hobnob if it does group breasted.;
$hypothesis$ = the bow does not untune cassock. ; $context$ = sent1: if that the subdivider does untune capitation but it does not debar fathom is not correct then the fingernail does debar fathom. sent2: if the painting is not feudal that the bow groups breasted and it debars souffle hold. sent3: if there exists something such that it hobnobs then the painting does not debar souffle. sent4: if there exists something such that it is not feudal the subdivider is acronymic. sent5: if there is something such that it does hobnob then the fact that either the painting does not group breasted or it does debar souffle or both is not right. sent6: something is acronymic. sent7: if something does not debar fathom but it is acronymic it untunes capitation. sent8: if something groups breasted then it does not untune cassock and does not hobnob. sent9: if the subdivider does untune capitation then the bow does untune cassock. sent10: the Arikara does hobnob. sent11: something debars fathom and/or it does hobnob if the fact that it does not group breasted is right. sent12: the subdivider does not debar fathom but it is acronymic if something is not feudal. sent13: the fingernail is not feudal if the fact that the painting does not group breasted and/or does debar souffle is not right. ; $proof$ = 
sent10 -> int1: that something hobnobs is not incorrect.; int1 & sent5 -> int2: that the painting does not group breasted and/or it does debar souffle is wrong.; int2 & sent13 -> int3: the fingernail is not feudal.; int3 -> int4: there is something such that it is not feudal.; int4 & sent12 -> int5: the subdivider does not debar fathom but it is acronymic.; sent7 -> int6: the subdivider does untune capitation if it does not debar fathom and is acronymic.; int5 & int6 -> int7: the subdivider untunes capitation.; int7 & sent9 -> hypothesis; __DISPROVED__