the estrogen is a kind of non-myocardial thing that is a cobaltite.
sent1: the Achaean is a kind of a cobaltite if there exists something such that that it wrenches and/or it is not a kind of a residual does not hold. sent2: if the fact that the geometrid is not a strip or does not measure Shinto or both does not hold the Achaean is not Omani. sent3: if the striatum is not unsatisfactory then the brassard is trophic and it is a kind of a blasphemer. sent4: the heparin does not wrench. sent5: that the heparin either wrenches or is not residual or both does not hold. sent6: something is a kind of a cobaltite and it is not non-myocardial if it is not a kind of a Omani. sent7: there exists something such that it is not a wrench. sent8: if the Achaean is a cobaltite the estrogen is both not myocardial and a cobaltite. sent9: the estrogen is a cobaltite.
sent5 -> int1: there is something such that the fact that it is a wrench and/or it is not residual does not hold.; int1 & sent1 -> int2: that the Achaean is a cobaltite hold.; sent8 & int2 -> hypothesis;
that the estrogen is not myocardial but a cobaltite does not hold.
$hypothesis$ = the estrogen is a kind of non-myocardial thing that is a cobaltite. ; $context$ = sent1: the Achaean is a kind of a cobaltite if there exists something such that that it wrenches and/or it is not a kind of a residual does not hold. sent2: if the fact that the geometrid is not a strip or does not measure Shinto or both does not hold the Achaean is not Omani. sent3: if the striatum is not unsatisfactory then the brassard is trophic and it is a kind of a blasphemer. sent4: the heparin does not wrench. sent5: that the heparin either wrenches or is not residual or both does not hold. sent6: something is a kind of a cobaltite and it is not non-myocardial if it is not a kind of a Omani. sent7: there exists something such that it is not a wrench. sent8: if the Achaean is a cobaltite the estrogen is both not myocardial and a cobaltite. sent9: the estrogen is a cobaltite. ; $proof$ = 
sent5 -> int1: there is something such that the fact that it is a wrench and/or it is not residual does not hold.; int1 & sent1 -> int2: that the Achaean is a cobaltite hold.; sent8 & int2 -> hypothesis; __PROVED__