Todos os engenheiros são funcionários públicos. Alguns administradores não são funcionários públicos. Logo, alguns engenheiros não são administradores.

João e Paulo são contadores, se e somente se Joana ou Paula não são enfermeiras. Ora, Paula e Joana são enfermeiras. Logo, João ou Paulo não são contadores.

Se há distribuição de sementes ou incentivos financeiros, então ocorre superávit. Logo, se não ocorre superávit, então não houve incentivos financeiros.

O robô é posto em funcionamento, se e somente se a corrente é ativada. Se a corrente é ativada, então se consome energia. Ora, não houve consumo de energia. Então, o robô não foi posto em funcionamento.

Todos os artrópodes são mamiferos. Não existem mamíferos que não são quadrúpedes. Logo, alguns quadrúpedes são artrópodes.