Com referência às ocupações dos moradores de determinada cidade, são verdadeiras as seguintes proposições:

- todo artesão é baixista;

- todo decorador é competente;

- nenhum baixista é competente.

Dessa forma, com relação a essa cidade, pode-se concluir que necessariamente: