Certa repartição pública têm três procuradores: Antônio, Bento e Carlos. Se Antônio veio trabalhar, o processo foi analisado. Se Bento veio trabalhar, o processo foi analisado e, se Carlos veio trabalhar, o processo não foi analisado. Se o processo foi analisado, é correto afirmar que:
