Como hago una expresión simbólica del siguiente enunciado.

El reloj marcaba las 8 de la noche entonces Carlos salió de su trabajo a las 7 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 de la noche. Por lo tanto, Jaime estaba en la empresa en el momento del robo del dinero.