the fact that the oxalacetate is a hemerobiid and it is an adhesive is correct.
sent1: the oxalacetate is adhesive. sent2: if something is a hangnail it is a preposition. sent3: something is unrentable if it is a diplomat. sent4: the ledge is unrentable if the fact that the heraldry is a mesomorph is correct. sent5: something is a kind of a Joffre if it jets allegation. sent6: if something is a Friesland and jets allegation then it is a diplomat. sent7: if the ledge is unrentable then the oxalacetate is a hemerobiid. sent8: if there is something such that it is asymmetrical the heraldry is not a Friesland and does jet allegation. sent9: if the heraldry is a kind of a Friesland and it jets allegation it is a kind of a diplomat. sent10: something is a hangnail if it is a diplomat. sent11: there exists something such that it is asymmetrical. sent12: the fact that the ledge is a kind of a diplomat but it is not a kind of a Friesland is not correct. sent13: that the heraldry is not a Friesland hold if there exists something such that it is asymmetrical. sent14: the fact that something is a hemerobiid and an adhesive is incorrect if the fact that it is not asymmetrical is right. sent15: if the fact that something is not a Friesland but it jets allegation is right then the fact that it is a diplomat is true.
sent11 & sent8 -> int1: the heraldry is not a Friesland but it does jet allegation.; sent15 -> int2: the heraldry is a diplomat if it is not a kind of a Friesland and jets allegation.; int1 & int2 -> int3: the fact that the heraldry is a kind of a diplomat hold.; sent10 -> int4: the heraldry is a kind of a hangnail if it is a kind of a diplomat.; int3 & int4 -> int5: the fact that the heraldry is a kind of a hangnail is correct.; sent2 -> int6: if the heraldry is a hangnail then it is a preposition.; int5 & int6 -> int7: the heraldry is a preposition.;
the fact that the oxalacetate is a hemerobiid and it is an adhesive is incorrect.
sent14 -> int8: if the oxalacetate is not asymmetrical that it is a hemerobiid and is an adhesive does not hold.; sent12 -> int9: there exists something such that that that it is a diplomat and it is not a kind of a Friesland is right is not true.;
$hypothesis$ = the fact that the oxalacetate is a hemerobiid and it is an adhesive is correct. ; $context$ = sent1: the oxalacetate is adhesive. sent2: if something is a hangnail it is a preposition. sent3: something is unrentable if it is a diplomat. sent4: the ledge is unrentable if the fact that the heraldry is a mesomorph is correct. sent5: something is a kind of a Joffre if it jets allegation. sent6: if something is a Friesland and jets allegation then it is a diplomat. sent7: if the ledge is unrentable then the oxalacetate is a hemerobiid. sent8: if there is something such that it is asymmetrical the heraldry is not a Friesland and does jet allegation. sent9: if the heraldry is a kind of a Friesland and it jets allegation it is a kind of a diplomat. sent10: something is a hangnail if it is a diplomat. sent11: there exists something such that it is asymmetrical. sent12: the fact that the ledge is a kind of a diplomat but it is not a kind of a Friesland is not correct. sent13: that the heraldry is not a Friesland hold if there exists something such that it is asymmetrical. sent14: the fact that something is a hemerobiid and an adhesive is incorrect if the fact that it is not asymmetrical is right. sent15: if the fact that something is not a Friesland but it jets allegation is right then the fact that it is a diplomat is true. ; $proof$ = 
sent11 & sent8 -> int1: the heraldry is not a Friesland but it does jet allegation.; sent15 -> int2: the heraldry is a diplomat if it is not a kind of a Friesland and jets allegation.; int1 & int2 -> int3: the fact that the heraldry is a kind of a diplomat hold.; sent10 -> int4: the heraldry is a kind of a hangnail if it is a kind of a diplomat.; int3 & int4 -> int5: the fact that the heraldry is a kind of a hangnail is correct.; sent2 -> int6: if the heraldry is a hangnail then it is a preposition.; int5 & int6 -> int7: the heraldry is a preposition.; __UNKNOWN__