Trivium com Javascript

As seguintes proposições são verdadeiras conforme o livro O Trivium: ¹

1. Todos os leões são animais
2. Alguns leões são animais

A segunda proposição me deixou bastante confuso, pois se todos os leões são animais então não é possível que apenas alguns leões sejam animais, certo? Errado!

Se você é programador, a linguagem de programação Javascript pode esclarecer que as proposições são de fato verdadeiras.

const lions = [
  {
    isAnimal: true,
  },
  {
    isAnimal: true,
  },
];

const every = lions.every((lion) => lion.isAnimal);
const some = lions.some((lion) => lion.isAnimal);

console.debug(every, some);
// Result: true true

Teste você mesmo.

Então de onde surgiu a minha dúvida? A resposta está na própria pergunta. Em nenhum momento a proposição diz que apenas alguns leões são animais, ela simplesmente diz que alguns leões são animais, ou seja, a minha mente criou um espantalho ao ler a segunda proposição e entendeu que nem todos os leões são animais.

Viu como é fácil se enganar?