Ana está realizando um teste e precisa resolver uma
questão de raciocínio lógico. No enunciado da questão,
é afirmado que: “todo X1 é Y. Todo X2, se não for X3,
ou é X1 ou é X4. Após, sem sucesso, tentar encontrar
a alternativa correta, ela escuta alguém, acertadamente,
afirmar que: não há X3 e não há X4 que não seja Y. A partir
disso, Ana conclui, corretamente, que: