Em uma reunião de planejamento, quatro coordenadores fizeram as seguintes afirmações sobre a implantação de um novo sistema de atendimento ao cidadão:

Ana: “Se o sistema for implantado em julho, então a equipe precisará de treinamento prévio.”
Bruno: “O sistema será implantado em julho ou o contrato com a empresa será prorrogado.”
Carla: “Se a equipe precisar de treinamento prévio, então o atendimento presencial será reduzido temporariamente.”
Diego: “O contrato com a empresa não será prorrogado.”

Com base nessas informações, é necessariamente correto concluir que: