Se não é cachorro não é carnívoro e algum carnívoro não é cachorro.

Qualquer animal que não é carnívoro é cachorro e algum carnívoro não é cachorro.

Se não é carnívoro é cachorro e algum cachorro é carnívoro.

Algum cachorro é carnívoro e algum cachorro não é carnívoro.

Todo cachorro é carnívoro e algum carnívoro não é cachorro.