Sabendo-se que todos os riláceos são polibas, que nenhum poliba é ceteu e que todos os ceteus são altarves, é correto concluir-se que

nenhum riláceo é altarve.

todos os riláceos são altarves

existem polibas que não são riláceos.

existem altarves que não são ceteus.

nenhum riláceo é ceteu.