Qual alternativa abaixo corresponde a equivalência lógica da frase “Se um animal foi resgatado então foi encaminhado para adoção”?