Do ponto de vista da lógica, se alguns pedreiros são carpinteiros e todos os carpinteiros são horistas, então
todos os pedreiros são horistas e nenhum pedreiro é carpinteiro.
nenhum pedreiro é horista.
alguns pedreiros são horistas.
todos os pedreiros são carpinteiros e horistas.
alguns carpinteiros são horistas.
