the heme is a kind of an herbal and it is hydrometric.
sent1: something is alkahestic and/or it is an herbal if it is not an audience. sent2: the heme is hydrometric and is alkahestic. sent3: the fact that the heme is not Moravian and is not a travel is false. sent4: if something is alkahestic then the fact that it is hydrometric is not incorrect. sent5: the heme is psychopharmacological a Desmodontidae if the adducer is not civil. sent6: the mandarin is not a kind of an audience if the heme is non-cyprian thing that suborns closeout. sent7: the fact that the heme is non-cyprian thing that is a kind of an herbal is not true. sent8: the vomer does suborn eagerness and it is cyprian. sent9: that the heme is not cyprian and is not an herbal does not hold. sent10: the briber suborns great-aunt and it eventuates. sent11: the heme is an herbal if that it is not cyprian and it is not a kind of an herbal is not correct. sent12: something is not cyprian but it suborns closeout if it is psychopharmacological. sent13: the heme is a hoydenism. sent14: if something does not suborn closeout then that it is cyprian and/or it is an audience is not right.
sent2 -> int1: the heme is hydrometric.; sent11 & sent9 -> int2: the heme is a kind of an herbal.; int1 & int2 -> hypothesis;
the mandarin is hydrometric.
sent1 -> int3: the mandarin is alkahestic and/or is an herbal if it is not an audience.; sent12 -> int4: the heme is not cyprian but it does suborn closeout if it is psychopharmacological.; sent4 -> int5: the mandarin is hydrometric if it is alkahestic.;
$hypothesis$ = the heme is a kind of an herbal and it is hydrometric. ; $context$ = sent1: something is alkahestic and/or it is an herbal if it is not an audience. sent2: the heme is hydrometric and is alkahestic. sent3: the fact that the heme is not Moravian and is not a travel is false. sent4: if something is alkahestic then the fact that it is hydrometric is not incorrect. sent5: the heme is psychopharmacological a Desmodontidae if the adducer is not civil. sent6: the mandarin is not a kind of an audience if the heme is non-cyprian thing that suborns closeout. sent7: the fact that the heme is non-cyprian thing that is a kind of an herbal is not true. sent8: the vomer does suborn eagerness and it is cyprian. sent9: that the heme is not cyprian and is not an herbal does not hold. sent10: the briber suborns great-aunt and it eventuates. sent11: the heme is an herbal if that it is not cyprian and it is not a kind of an herbal is not correct. sent12: something is not cyprian but it suborns closeout if it is psychopharmacological. sent13: the heme is a hoydenism. sent14: if something does not suborn closeout then that it is cyprian and/or it is an audience is not right. ; $proof$ = 
sent2 -> int1: the heme is hydrometric.; sent11 & sent9 -> int2: the heme is a kind of an herbal.; int1 & int2 -> hypothesis; __PROVED__