Do ponto de vista da lógica, se alguns pedreiros são carpinteiros e todos os carpinteiros são horistas, então