São dadas três afirmações:
A1 - Todos os elefantes são animais de cor cinza.
A2 - Alguns animais de cor preta são cachorros.
A3 - Tomé é um elefante ou um animal de cor preta.
Considerando que as afirmações apresentadas são verdadeiras, conclui-se que Tomé é um