Ana está realizando um teste e precisa resolver uma questão ...

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. Apartir disso, Ana conclui,c orretamente, que