that the Kurd is developmental and is a kind of an anachronism is not right.
sent1: there is something such that the fact that it is a Easter and undimmed does not hold. sent2: that the Kurd is a altoist is right. sent3: if the Kurd is a kind of a altoist then it is developmental. sent4: if there exists something such that that it is a Easter and is not dimmed does not hold then the Kurd is a kind of an anachronism.
sent3 & sent2 -> int1: the Kurd is developmental.; sent1 & sent4 -> int2: that the Kurd is an anachronism is not incorrect.; int1 & int2 -> hypothesis;
$hypothesis$ = that the Kurd is developmental and is a kind of an anachronism is not right. ; $context$ = sent1: there is something such that the fact that it is a Easter and undimmed does not hold. sent2: that the Kurd is a altoist is right. sent3: if the Kurd is a kind of a altoist then it is developmental. sent4: if there exists something such that that it is a Easter and is not dimmed does not hold then the Kurd is a kind of an anachronism. ; $proof$ = 
sent3 & sent2 -> int1: the Kurd is developmental.; sent1 & sent4 -> int2: that the Kurd is an anachronism is not incorrect.; int1 & int2 -> hypothesis; __DISPROVED__