the coreligionist is not acervate but it is a fistmele.
sent1: if that the fact that something is a kind of a look hold is not incorrect then that the redcoat does not mangle pen-friend and is not a kind of a Circe is incorrect. sent2: something is a fistmele. sent3: if something is not a kind of a ANOVA but it is a kind of a Circe that the exotherm does look is wrong. sent4: there exists something such that it is a kind of a Circe. sent5: if something that does not look is not an ostrich then the coreligionist is not acervate. sent6: the doornail incorporates mimosa or is a fistmele or both if something is a fistmele. sent7: if that the doornail is a fistmele is not incorrect then the fact that the coreligionist is a fistmele is not false. sent8: the exotherm is not a kind of an ostrich and it is not a kind of a anticipator. sent9: that the redcoat does not ogle and it is not a kind of a Circe does not hold. sent10: if the fact that the fact that the redcoat does not ogle and is not a Circe is right is not true it is a Circe. sent11: if the doornail does incorporate mimosa the coreligionist is a fistmele. sent12: there exists something such that it is not a Chemnitz. sent13: the redcoat is not a kind of a ANOVA but it does mangle pen-friend.
sent13 -> int1: the redcoat is not a ANOVA.; sent10 & sent9 -> int2: the redcoat is a Circe.; int1 & int2 -> int3: the redcoat is not a ANOVA but it is a Circe.; int3 -> int4: something is not a ANOVA but a Circe.; int4 & sent3 -> int5: the exotherm is not a look.; sent8 -> int6: the exotherm is not an ostrich.; int5 & int6 -> int7: the exotherm is not a look and is not an ostrich.; int7 -> int8: there exists something such that it is not a look and it is not a kind of an ostrich.; int8 & sent5 -> int9: the coreligionist is not acervate.; sent2 & sent6 -> int10: the doornail either incorporates mimosa or is a kind of a fistmele or both.; int10 & sent11 & sent7 -> int11: the coreligionist is a fistmele.; int9 & int11 -> hypothesis;
that the coreligionist is non-acervate thing that is a kind of a fistmele does not hold.
$hypothesis$ = the coreligionist is not acervate but it is a fistmele. ; $context$ = sent1: if that the fact that something is a kind of a look hold is not incorrect then that the redcoat does not mangle pen-friend and is not a kind of a Circe is incorrect. sent2: something is a fistmele. sent3: if something is not a kind of a ANOVA but it is a kind of a Circe that the exotherm does look is wrong. sent4: there exists something such that it is a kind of a Circe. sent5: if something that does not look is not an ostrich then the coreligionist is not acervate. sent6: the doornail incorporates mimosa or is a fistmele or both if something is a fistmele. sent7: if that the doornail is a fistmele is not incorrect then the fact that the coreligionist is a fistmele is not false. sent8: the exotherm is not a kind of an ostrich and it is not a kind of a anticipator. sent9: that the redcoat does not ogle and it is not a kind of a Circe does not hold. sent10: if the fact that the fact that the redcoat does not ogle and is not a Circe is right is not true it is a Circe. sent11: if the doornail does incorporate mimosa the coreligionist is a fistmele. sent12: there exists something such that it is not a Chemnitz. sent13: the redcoat is not a kind of a ANOVA but it does mangle pen-friend. ; $proof$ = 
sent13 -> int1: the redcoat is not a ANOVA.; sent10 & sent9 -> int2: the redcoat is a Circe.; int1 & int2 -> int3: the redcoat is not a ANOVA but it is a Circe.; int3 -> int4: something is not a ANOVA but a Circe.; int4 & sent3 -> int5: the exotherm is not a look.; sent8 -> int6: the exotherm is not an ostrich.; int5 & int6 -> int7: the exotherm is not a look and is not an ostrich.; int7 -> int8: there exists something such that it is not a look and it is not a kind of an ostrich.; int8 & sent5 -> int9: the coreligionist is not acervate.; sent2 & sent6 -> int10: the doornail either incorporates mimosa or is a kind of a fistmele or both.; int10 & sent11 & sent7 -> int11: the coreligionist is a fistmele.; int9 & int11 -> hypothesis; __PROVED__