the fact that the germ is not a bellwort and it is not a cadre if the medroxyprogesterone is a kind of a tot is not correct.
sent1: if the germ is a cadre the medroxyprogesterone is not a tot. sent2: the medroxyprogesterone is not a tot if the fact that the fact that the germ is a bellwort and is not a kind of a cadre hold is not right. sent3: the germ is not a recombinant. sent4: the germ is a bellwort and is not a cadre. sent5: the germ is a bellwort. sent6: if the medroxyprogesterone is a kind of a tot then the germ is not a cadre. sent7: if the medroxyprogesterone is a bellwort then the germ is not a cadre and is not a kind of a tot. sent8: if the medroxyprogesterone is a tot then the germ is a bellwort and not a cadre. sent9: the fact that if the germ is not a bellwort and it is not a cadre the medroxyprogesterone is not a tot is true. sent10: the socialist is not a cadre. sent11: the fact that the germ is not a bellwort but it is a cadre is false. sent12: the medroxyprogesterone is not a tot if the fact that the germ is not a bellwort and is not a kind of a cadre does not hold. sent13: the paregoric is a cadre. sent14: the germ is not a kind of a cadre. sent15: the fact that the medroxyprogesterone is not a kind of a tot and it is not a bellwort is incorrect.
void -> assump1: Let's assume that the fact that the fact that the germ is not a bellwort and it is not a cadre is incorrect is true.; sent12 & assump1 -> int1: the medroxyprogesterone is not a tot.; void -> assump2: Let's assume that the medroxyprogesterone is a kind of a tot.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the germ is not a bellwort and it is not a cadre.; [assump2] & int3 -> hypothesis;
$hypothesis$ = the fact that the germ is not a bellwort and it is not a cadre if the medroxyprogesterone is a kind of a tot is not correct. ; $context$ = sent1: if the germ is a cadre the medroxyprogesterone is not a tot. sent2: the medroxyprogesterone is not a tot if the fact that the fact that the germ is a bellwort and is not a kind of a cadre hold is not right. sent3: the germ is not a recombinant. sent4: the germ is a bellwort and is not a cadre. sent5: the germ is a bellwort. sent6: if the medroxyprogesterone is a kind of a tot then the germ is not a cadre. sent7: if the medroxyprogesterone is a bellwort then the germ is not a cadre and is not a kind of a tot. sent8: if the medroxyprogesterone is a tot then the germ is a bellwort and not a cadre. sent9: the fact that if the germ is not a bellwort and it is not a cadre the medroxyprogesterone is not a tot is true. sent10: the socialist is not a cadre. sent11: the fact that the germ is not a bellwort but it is a cadre is false. sent12: the medroxyprogesterone is not a tot if the fact that the germ is not a bellwort and is not a kind of a cadre does not hold. sent13: the paregoric is a cadre. sent14: the germ is not a kind of a cadre. sent15: the fact that the medroxyprogesterone is not a kind of a tot and it is not a bellwort is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the germ is not a bellwort and it is not a cadre is incorrect is true.; sent12 & assump1 -> int1: the medroxyprogesterone is not a tot.; void -> assump2: Let's assume that the medroxyprogesterone is a kind of a tot.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the germ is not a bellwort and it is not a cadre.; [assump2] & int3 -> hypothesis; __DISPROVED__