that something is phlegmy and it does factorize Codiaeum is true.
sent1: something is a kind of a Brahmi. sent2: the fact that the tormenter is a kind of a plumbago is correct. sent3: that the horsemint is both a Henson and a bisexual does not hold. sent4: if the fact that the haptoglobin is not a tasting and not a Henson is false that the tormenter does not tasting is true. sent5: the fact that something is not a Mainer but it is a bisexual is not right if it is phlegmy. sent6: if something is not a bisexual the fact that it is not a tasting and is not a Henson is not right. sent7: the fact that the haptoglobin is not a bisexual is not incorrect if there is something such that the fact that it is not a Mainer and it is a bisexual is incorrect. sent8: that if the horsemint is a kind of a Mainer the tormenter is phlegmy is true. sent9: if the horsemint is not a tasting that it is a Henson and it is a bisexual does not hold. sent10: there is something such that the fact that it factorizes Codiaeum is correct. sent11: if something is not a tasting the fact that it is a kind of a Henson and it is bisexual is wrong. sent12: the fact that something is not a Henson but bisexual is false if it is not a tasting. sent13: there exists something such that it is phlegmy. sent14: everything is not a kind of a tasting. sent15: if the tormenter is a plumbago it is unpardonable. sent16: if the tormenter is animalistic but not a Henson the conversion is animalistic. sent17: something that tastes is a kind of a plumbago. sent18: if that something is not a Henson but it is bisexual is incorrect it is a Mainer. sent19: if that the tormenter is unpardonable is not false then it does factorize Codiaeum.
sent14 -> int1: that the horsemint does not taste hold.; sent12 -> int2: if the horsemint does not taste then that it is not a kind of a Henson and is a bisexual is not correct.; int1 & int2 -> int3: the fact that the horsemint is not a Henson but it is a bisexual does not hold.; sent18 -> int4: if the fact that the horsemint is not a Henson but bisexual is not correct then it is a kind of a Mainer.; int3 & int4 -> int5: the horsemint is a kind of a Mainer.; int5 & sent8 -> int6: that the tormenter is phlegmy is right.; sent15 & sent2 -> int7: the tormenter is not pardonable.; sent19 & int7 -> int8: the tormenter does factorize Codiaeum.; int6 & int8 -> int9: the tormenter is phlegmy and it factorizes Codiaeum.; int9 -> hypothesis;
the horsemint is a plumbago.
sent5 -> int10: if the linchpin is not non-phlegmy the fact that it is not a kind of a Mainer and it is bisexual is incorrect.; sent6 -> int11: if the haptoglobin is not a bisexual that that it does not taste and it is not a Henson is true is incorrect.; sent17 -> int12: the horsemint is a kind of a plumbago if it is a tasting.;
$hypothesis$ = that something is phlegmy and it does factorize Codiaeum is true. ; $context$ = sent1: something is a kind of a Brahmi. sent2: the fact that the tormenter is a kind of a plumbago is correct. sent3: that the horsemint is both a Henson and a bisexual does not hold. sent4: if the fact that the haptoglobin is not a tasting and not a Henson is false that the tormenter does not tasting is true. sent5: the fact that something is not a Mainer but it is a bisexual is not right if it is phlegmy. sent6: if something is not a bisexual the fact that it is not a tasting and is not a Henson is not right. sent7: the fact that the haptoglobin is not a bisexual is not incorrect if there is something such that the fact that it is not a Mainer and it is a bisexual is incorrect. sent8: that if the horsemint is a kind of a Mainer the tormenter is phlegmy is true. sent9: if the horsemint is not a tasting that it is a Henson and it is a bisexual does not hold. sent10: there is something such that the fact that it factorizes Codiaeum is correct. sent11: if something is not a tasting the fact that it is a kind of a Henson and it is bisexual is wrong. sent12: the fact that something is not a Henson but bisexual is false if it is not a tasting. sent13: there exists something such that it is phlegmy. sent14: everything is not a kind of a tasting. sent15: if the tormenter is a plumbago it is unpardonable. sent16: if the tormenter is animalistic but not a Henson the conversion is animalistic. sent17: something that tastes is a kind of a plumbago. sent18: if that something is not a Henson but it is bisexual is incorrect it is a Mainer. sent19: if that the tormenter is unpardonable is not false then it does factorize Codiaeum. ; $proof$ = 
sent14 -> int1: that the horsemint does not taste hold.; sent12 -> int2: if the horsemint does not taste then that it is not a kind of a Henson and is a bisexual is not correct.; int1 & int2 -> int3: the fact that the horsemint is not a Henson but it is a bisexual does not hold.; sent18 -> int4: if the fact that the horsemint is not a Henson but bisexual is not correct then it is a kind of a Mainer.; int3 & int4 -> int5: the horsemint is a kind of a Mainer.; int5 & sent8 -> int6: that the tormenter is phlegmy is right.; sent15 & sent2 -> int7: the tormenter is not pardonable.; sent19 & int7 -> int8: the tormenter does factorize Codiaeum.; int6 & int8 -> int9: the tormenter is phlegmy and it factorizes Codiaeum.; int9 -> hypothesis; __PROVED__