that the HA is not a kind of a lepidocrocite and it is not a fantast is wrong if the mitten is a cloisonne.
sent1: the fact that the HA is both not a fantast and a cloisonne is not true. sent2: that the mitten is a kind of a lepidocrocite but it is not a fantast is incorrect if the HA is a fantast. sent3: if the mitten is a kind of a fantast then the HA is not a lepidocrocite and it is not a kind of a fantast. sent4: that the mitten is a kind of a fantast is right if it is not a kind of a lepidocrocite. sent5: if the mitten is a fantast the fact that the HA is not a lepidocrocite and not a fantast is not right. sent6: the fact that that the mitten is a kind of a lepidocrocite but it is not a fantast is true is not right if the HA is a cloisonne. sent7: that the HA is a lepidocrocite and is not a kind of a cloisonne is wrong if the mitten is a cloisonne. sent8: the fact that the HA is not a kind of a fantast and is a profiterole is not right. sent9: if that the mitten is both not a cloisonne and a septectomy is not true it is a fantast. sent10: the mitten is a septectomy if it is not a lepidocrocite. sent11: the mitten is a kind of a fantast if the fact that it is a septectomy and a lepidocrocite is not true. sent12: that the blockage is not a lepidocrocite but it is a strung is false. sent13: that the HA is not a kind of a fantast and is a septectomy does not hold if the mitten is a kind of a septectomy. sent14: the mitten is anaphrodisiac and it is a kind of a crenelation.
void -> assump2: Let's assume that the mitten is a kind of a cloisonne.; void -> assump1: Let's assume that the mitten is not a cloisonne but it is a septectomy.; assump1 -> int1: the mitten is not a cloisonne.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the mitten is not a kind of a cloisonne and is a septectomy is not correct.; sent9 & int3 -> int4: the mitten is a fantast.; sent5 & int4 -> int5: that the HA is not a lepidocrocite and it is not a fantast is not right.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that the HA is not a kind of a lepidocrocite and it is not a fantast is wrong if the mitten is a cloisonne. ; $context$ = sent1: the fact that the HA is both not a fantast and a cloisonne is not true. sent2: that the mitten is a kind of a lepidocrocite but it is not a fantast is incorrect if the HA is a fantast. sent3: if the mitten is a kind of a fantast then the HA is not a lepidocrocite and it is not a kind of a fantast. sent4: that the mitten is a kind of a fantast is right if it is not a kind of a lepidocrocite. sent5: if the mitten is a fantast the fact that the HA is not a lepidocrocite and not a fantast is not right. sent6: the fact that that the mitten is a kind of a lepidocrocite but it is not a fantast is true is not right if the HA is a cloisonne. sent7: that the HA is a lepidocrocite and is not a kind of a cloisonne is wrong if the mitten is a cloisonne. sent8: the fact that the HA is not a kind of a fantast and is a profiterole is not right. sent9: if that the mitten is both not a cloisonne and a septectomy is not true it is a fantast. sent10: the mitten is a septectomy if it is not a lepidocrocite. sent11: the mitten is a kind of a fantast if the fact that it is a septectomy and a lepidocrocite is not true. sent12: that the blockage is not a lepidocrocite but it is a strung is false. sent13: that the HA is not a kind of a fantast and is a septectomy does not hold if the mitten is a kind of a septectomy. sent14: the mitten is anaphrodisiac and it is a kind of a crenelation. ; $proof$ = 
void -> assump2: Let's assume that the mitten is a kind of a cloisonne.; void -> assump1: Let's assume that the mitten is not a cloisonne but it is a septectomy.; assump1 -> int1: the mitten is not a cloisonne.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the mitten is not a kind of a cloisonne and is a septectomy is not correct.; sent9 & int3 -> int4: the mitten is a fantast.; sent5 & int4 -> int5: that the HA is not a lepidocrocite and it is not a fantast is not right.; [assump2] & int5 -> hypothesis; __PROVED__