Si A était un nain, il mentirait puisqu’il s’agit d’or. Or, ni un nain, ni un elfe ne pourrait lui dire « tu mens », puisque ce serait la vérité (un nain mentirait en parlant d’or et un elfe puisqu’il s’agit d’un nain).

A est donc un elfe qui dit la vérité et B est nain qui ment puisqu’il s’agit d’or.

A est un nain : il ment.
C’est donc vrai qu’il ment donc B dit vrai et ne ment pas .
Donc B ne peut pas être un elfe car il ment aux nains et B peut être un nain car les nains ne mentent que si ils parlent d’or (les nains disent vrai si ils ne parlent pas d’or), or, B parle d’un nain et pas d’or.
Donc A=nain et B=nain vérifie les contraintes.
A est un elfe : il dit vrai.
Il dit vrai puisque les elfes ne mentent que si ils parlent de nains (les elfes disent vrai si ils ne parlent pas de nains) et là il parle d’or.
C’est donc vrai qu’il dit vrai donc, B ment puisqu’il lui dit qu’il ment.
Si B est un nain, comme il parle d’un elfe (il ne parle pas d’or) il devrait dire vrai ; or il ment, donc B n’est pas un nain.
Si B est un elfe, comme il parle d’un elfe (il ne parle pas d’un nain) il devrait dire vrai ; or il ment, donc B n’est pas un nain.
Aucun couple ne convient si A est un elfe.
A=nain et B=nain.

J’avais compris qu’en répondant à A, B parlait implicitement d’or. Sa déclaration signifiant : « Tu mens [en disant que tu as volé tout ton or chez le dragon] ».

Le mensonge concerne l’or, et ma proposition tiens toujours.