Admitindo como verdadeira a proposição “Nenhum fumante é gordo”, também será verdadeira a proposição:
Todos não fumantes são magros.
Nenhum gordo é não fumante.
Nenhum fumante é magro.
Pelo menos um magro é fumante.
Nenhum magro é fumante.
