that the smokescreen does not contemn smokescreen and is not a Kurdish is not right.
sent1: something is a bedpost if it is both a Mya and not Kurdish. sent2: there is something such that it does confine stepparent. sent3: the smokescreen does not contemn smokescreen and is not a Kurdish if there is something such that it is a Mya. sent4: there exists something such that it does contemn smokescreen. sent5: the spawner is not a kind of a bedpost but it is a Mya. sent6: something is not a encephalography but it contemns smokescreen if it is a bedpost.
sent5 -> int1: the spawner is a kind of a Mya.; int1 -> int2: there is something such that it is a Mya.; int2 & sent3 -> hypothesis;
the limbers is not a encephalography and does contemn smokescreen.
sent6 -> int3: if the limbers is a kind of a bedpost then it is not a encephalography and it does contemn smokescreen.; sent1 -> int4: the limbers is a kind of a bedpost if it is a Mya and it is not a Kurdish.;
$hypothesis$ = that the smokescreen does not contemn smokescreen and is not a Kurdish is not right. ; $context$ = sent1: something is a bedpost if it is both a Mya and not Kurdish. sent2: there is something such that it does confine stepparent. sent3: the smokescreen does not contemn smokescreen and is not a Kurdish if there is something such that it is a Mya. sent4: there exists something such that it does contemn smokescreen. sent5: the spawner is not a kind of a bedpost but it is a Mya. sent6: something is not a encephalography but it contemns smokescreen if it is a bedpost. ; $proof$ = 
sent5 -> int1: the spawner is a kind of a Mya.; int1 -> int2: there is something such that it is a Mya.; int2 & sent3 -> hypothesis; __DISPROVED__