Verdad de la programación

Si A dice la verdad, entonces el ladrón es B, y se puede inferir que D también dice la verdad.

Si B dice la verdad, entonces C también dice la verdad.

Si C dice la verdad, entonces B está mintiendo. El ladrón está muerto o le han dicho la verdad.

Si D dice la verdad, entonces B miente, entonces D y C mienten, luego C robó, luego A miente.