Considere a seguinte sentença: “Se há muitos processos, então os juízes trabalha...

Questão de Raciocínio Lógico da banca FGV aplicada no concurso TJ RJ (2014). Confira a resolução completa abaixo:

Considere a seguinte sentença:
“Se há muitos processos, então os juízes trabalham muito”.
Uma sentença logicamente equivalente a essa é: