1) Se alguns A são B e nenhum B é C, então:
2) Se todo A é B e nenhum B é C, então:
3) Se todo A é B e nenhum B é C, então: