that there exists something such that if it is indiscreet then it is non-midi and it is a kind of a margin does not hold.
sent1: if the katharometer is indiscreet then it is not onymous. sent2: if the katharometer is mutable then it is not indiscreet. sent3: that there is something such that if it does soothe it does sensualize sobriety and it is bronchiolar is not incorrect. sent4: if the katharometer is indiscreet then it is midi and a margin. sent5: there exists something such that if it is indiscreet then it is not midi. sent6: there is something such that if it revalues then it is not a cabbageworm. sent7: that the orange is midi and it is hymenal does not hold. sent8: that the half-mast is both distal and a margin is not right. sent9: that the katharometer is not indiscreet is right if the fact that it is both not midi and a margin is wrong. sent10: the katharometer is a margin. sent11: the katharometer is a kind of a margin if it is indiscreet. sent12: the katharometer is not a kind of a Sousa and is midi. sent13: if the Winchester is indiscreet it is a kind of non-cataleptic a comfit.
void -> assump1: Let's assume that the fact that the katharometer is not midi and is a kind of a margin does not hold.; sent9 & assump1 -> int1: the katharometer is not indiscreet.; void -> assump2: Let's assume that the katharometer is indiscreet.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the katharometer is a kind of non-midi a margin.; [assump2] & int3 -> int4: the katharometer is not midi and is a kind of a margin if it is indiscreet.; int4 -> hypothesis;
$hypothesis$ = that there exists something such that if it is indiscreet then it is non-midi and it is a kind of a margin does not hold. ; $context$ = sent1: if the katharometer is indiscreet then it is not onymous. sent2: if the katharometer is mutable then it is not indiscreet. sent3: that there is something such that if it does soothe it does sensualize sobriety and it is bronchiolar is not incorrect. sent4: if the katharometer is indiscreet then it is midi and a margin. sent5: there exists something such that if it is indiscreet then it is not midi. sent6: there is something such that if it revalues then it is not a cabbageworm. sent7: that the orange is midi and it is hymenal does not hold. sent8: that the half-mast is both distal and a margin is not right. sent9: that the katharometer is not indiscreet is right if the fact that it is both not midi and a margin is wrong. sent10: the katharometer is a margin. sent11: the katharometer is a kind of a margin if it is indiscreet. sent12: the katharometer is not a kind of a Sousa and is midi. sent13: if the Winchester is indiscreet it is a kind of non-cataleptic a comfit. ; $proof$ = 
void -> assump1: Let's assume that the fact that the katharometer is not midi and is a kind of a margin does not hold.; sent9 & assump1 -> int1: the katharometer is not indiscreet.; void -> assump2: Let's assume that the katharometer is indiscreet.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the katharometer is a kind of non-midi a margin.; [assump2] & int3 -> int4: the katharometer is not midi and is a kind of a margin if it is indiscreet.; int4 -> hypothesis; __DISPROVED__