the fact that that the estriol is a kind of a churn and is not a kind of a Kobus is wrong if the fact that the harvest demineralizes clavicle is not incorrect is false.
sent1: the harvest is non-uninstructive thing that does not demineralize clavicle if it is a churn. sent2: that the estriol is a kind of uninstructive thing that is not a Kobus is not true if the fact that the harvest demineralizes clavicle is not incorrect. sent3: that the estriol is a kind of a Kobus that does not demineralize clavicle is wrong if the harvest does churn. sent4: if the harvest is not a Kobus then the estriol does churn but it is not a kind of a Kobus. sent5: that that the estriol is a churn that is a kind of a Kobus is wrong is right. sent6: the harvest is not uninstructive and it is not a Kobus if it does demineralize clavicle. sent7: that the estriol is a kind of uninstructive thing that is not a churn does not hold if the harvest is not a churn. sent8: the harvest is not uninstructive. sent9: if the harvest churns it is not a Kobus and it does not demineralize clavicle. sent10: that the estriol is a churn and it is a Kobus is not true if the harvest is not a Kobus. sent11: if that something does not demineralize clavicle is right that it is both a broadloom and not a Kobus is not true. sent12: that the estriol is a Kobus but it does not demineralize clavicle does not hold if the harvest does not demineralize clavicle. sent13: the fact that the estriol does churn and is not a kind of a Kobus is incorrect if the harvest is not a Kobus. sent14: the estriol is not uninstructive. sent15: the harvest is not uninstructive if it does demineralize clavicle. sent16: the estriol does not demineralize clavicle. sent17: if the harvest does demineralize clavicle the estriol is a churn but it is not a Kobus. sent18: if the estriol is not a Kobus then that the harvest is a kind of a churn that is not a Kobus is not right. sent19: if the harvest is not uninstructive the fact that the estriol demineralizes clavicle and is not uninstructive does not hold. sent20: the estriol is a kind of a churn that is not a Kobus. sent21: the fact that the harvest does demineralize clavicle and is not a kind of a Kobus is not right if the estriol is uninstructive. sent22: if the harvest demineralizes clavicle then the fact that the estriol is a kind of a churn and is a kind of a Kobus is not correct.
void -> assump1: Let's assume that the harvest does demineralize clavicle.; sent6 & assump1 -> int1: the harvest is not uninstructive and it is not a kind of a Kobus.; int1 -> int2: the harvest is not a Kobus.; sent13 & int2 -> int3: the fact that the estriol is a churn and is not a kind of a Kobus is not right.; [assump1] & int3 -> hypothesis;
that the raisin is a kind of a broadloom and is not a kind of a Kobus does not hold.
sent11 -> int4: that the raisin is both a broadloom and not a Kobus is wrong if it does not demineralize clavicle.;
$hypothesis$ = the fact that that the estriol is a kind of a churn and is not a kind of a Kobus is wrong if the fact that the harvest demineralizes clavicle is not incorrect is false. ; $context$ = sent1: the harvest is non-uninstructive thing that does not demineralize clavicle if it is a churn. sent2: that the estriol is a kind of uninstructive thing that is not a Kobus is not true if the fact that the harvest demineralizes clavicle is not incorrect. sent3: that the estriol is a kind of a Kobus that does not demineralize clavicle is wrong if the harvest does churn. sent4: if the harvest is not a Kobus then the estriol does churn but it is not a kind of a Kobus. sent5: that that the estriol is a churn that is a kind of a Kobus is wrong is right. sent6: the harvest is not uninstructive and it is not a Kobus if it does demineralize clavicle. sent7: that the estriol is a kind of uninstructive thing that is not a churn does not hold if the harvest is not a churn. sent8: the harvest is not uninstructive. sent9: if the harvest churns it is not a Kobus and it does not demineralize clavicle. sent10: that the estriol is a churn and it is a Kobus is not true if the harvest is not a Kobus. sent11: if that something does not demineralize clavicle is right that it is both a broadloom and not a Kobus is not true. sent12: that the estriol is a Kobus but it does not demineralize clavicle does not hold if the harvest does not demineralize clavicle. sent13: the fact that the estriol does churn and is not a kind of a Kobus is incorrect if the harvest is not a Kobus. sent14: the estriol is not uninstructive. sent15: the harvest is not uninstructive if it does demineralize clavicle. sent16: the estriol does not demineralize clavicle. sent17: if the harvest does demineralize clavicle the estriol is a churn but it is not a Kobus. sent18: if the estriol is not a Kobus then that the harvest is a kind of a churn that is not a Kobus is not right. sent19: if the harvest is not uninstructive the fact that the estriol demineralizes clavicle and is not uninstructive does not hold. sent20: the estriol is a kind of a churn that is not a Kobus. sent21: the fact that the harvest does demineralize clavicle and is not a kind of a Kobus is not right if the estriol is uninstructive. sent22: if the harvest demineralizes clavicle then the fact that the estriol is a kind of a churn and is a kind of a Kobus is not correct. ; $proof$ = 
void -> assump1: Let's assume that the harvest does demineralize clavicle.; sent6 & assump1 -> int1: the harvest is not uninstructive and it is not a kind of a Kobus.; int1 -> int2: the harvest is not a Kobus.; sent13 & int2 -> int3: the fact that the estriol is a churn and is not a kind of a Kobus is not right.; [assump1] & int3 -> hypothesis; __DISPROVED__