Cuestiones de razonamiento integral en lógica jurídica

Se conocen las siguientes condiciones:

? (1) Si A y B son asesinos, entonces C es inocente.

? (2) C es culpable y el testimonio de D es correcto.

? (3) Si el testimonio de D es correcto, entonces B es el asesino.

? Disculpe, ¿quién es el asesino? Por favor responda en lenguaje artificial.

La situación conocida es la siguiente:

? (1) Sólo cuando se resuelva el Caso 01 se podrá confirmar que A, B y C son todos criminales.

? (2) El caso 01 no está resuelto.

? (3) Si A no es un criminal, la confesión de A es verdadera y A dice que B no es un criminal.

? (4) Si B no es un criminal, entonces la confesión de B es cierta. B dijo que él y C son buenos amigos.

? (5) Se descubre que C no comprende a B en absoluto.

? Disculpe, ¿quién es el criminal?

Respuesta:

1. by C son asesinos, pero A no lo es.

2.ay B son delincuentes y C no puede confirmarlo.