the fact that the hag is not a Algonquian and it is not amaranthine is not correct.
sent1: that the ND is not aniseikonic and is clausal does not hold if it is not an adulation. sent2: if something that is not a bottle does not conscript sudoku it is Algonquian. sent3: the ND is not a bottle but it pains if the stinter is not a pains. sent4: the stinter is not aniseikonic. sent5: if the ND is aniseikonic it is a chorus. sent6: if the ND is a Algonquian then that the hag is both not Algonquian and not amaranthine is false. sent7: there exists something such that it is not a chorus. sent8: the ND is not an adulation. sent9: the stinter is not a kind of a pain if there exists something such that the fact that it does not transship Aesir and it is not funerary is not true. sent10: a chorus does not conscript sudoku. sent11: that if there is something such that it is funerary then the stinter is not a kind of a pain is not wrong. sent12: the ND is a chorus if that it is non-aniseikonic thing that is clausal is not right. sent13: there is something such that that it does not transship Aesir and is not funerary is not true.
sent13 & sent9 -> int1: the stinter is not a pain.; int1 & sent3 -> int2: the ND is not a bottle but it is a kind of a pain.; int2 -> int3: the ND is not a bottle.; sent10 -> int4: that if the ND does chorus the ND does not conscript sudoku hold.; sent1 & sent8 -> int5: the fact that the ND is not aniseikonic but it is clausal is not right.; sent12 & int5 -> int6: the ND is a chorus.; int4 & int6 -> int7: that the ND does not conscript sudoku is correct.; int3 & int7 -> int8: the ND is not a bottle and does not conscript sudoku.; sent2 -> int9: the ND is a Algonquian if it is not a bottle and it does not conscript sudoku.; int8 & int9 -> int10: the ND is a kind of a Algonquian.; int10 & sent6 -> hypothesis;
the hag is non-Algonquian and it is not amaranthine.
$hypothesis$ = the fact that the hag is not a Algonquian and it is not amaranthine is not correct. ; $context$ = sent1: that the ND is not aniseikonic and is clausal does not hold if it is not an adulation. sent2: if something that is not a bottle does not conscript sudoku it is Algonquian. sent3: the ND is not a bottle but it pains if the stinter is not a pains. sent4: the stinter is not aniseikonic. sent5: if the ND is aniseikonic it is a chorus. sent6: if the ND is a Algonquian then that the hag is both not Algonquian and not amaranthine is false. sent7: there exists something such that it is not a chorus. sent8: the ND is not an adulation. sent9: the stinter is not a kind of a pain if there exists something such that the fact that it does not transship Aesir and it is not funerary is not true. sent10: a chorus does not conscript sudoku. sent11: that if there is something such that it is funerary then the stinter is not a kind of a pain is not wrong. sent12: the ND is a chorus if that it is non-aniseikonic thing that is clausal is not right. sent13: there is something such that that it does not transship Aesir and is not funerary is not true. ; $proof$ = 
sent13 & sent9 -> int1: the stinter is not a pain.; int1 & sent3 -> int2: the ND is not a bottle but it is a kind of a pain.; int2 -> int3: the ND is not a bottle.; sent10 -> int4: that if the ND does chorus the ND does not conscript sudoku hold.; sent1 & sent8 -> int5: the fact that the ND is not aniseikonic but it is clausal is not right.; sent12 & int5 -> int6: the ND is a chorus.; int4 & int6 -> int7: that the ND does not conscript sudoku is correct.; int3 & int7 -> int8: the ND is not a bottle and does not conscript sudoku.; sent2 -> int9: the ND is a Algonquian if it is not a bottle and it does not conscript sudoku.; int8 & int9 -> int10: the ND is a kind of a Algonquian.; int10 & sent6 -> hypothesis; __PROVED__