Um auditor está revisando os registros financeiros de uma pequena empresa de consultoria. Ele se depara com duas anotações feitas pelo contador: 'Se a empresa teve lucro no último trimestre, então os bônus dos funcionários serão pagos.' e 'Os bônus dos funcionários não foram pagos.' O auditor precisa determinar qual inferência lógica pode ser feita com base nessas informações para prosseguir com a auditoria.