Como aplicar las reglas de inferencia lógica?

Escribir en lenguaje simbólico la siguiente argumento:

• En la escena de un robo, la policía se encuentra haciendo un interrogatorio a todos los testigos del hecho: “el reloj marcaba las 8:00 de la noche, entonces Carlos salió de su trabajo a las 7:00 pm y vio salir a Jaime de la empresa. Si la información de Jaime es veraz, entonces Carlos no vio salir a Jaime de la empresa. La información de Jaime es veraz o estaba en la empresa en el momento del robo del dinero. El reloj marcaba las 8:00 de la noche. Por lo tanto, Jaime estaba en la empresa en el momento del robo del dinero”.