Se todo carioca é brasileiro e existem flamenguistas que são cariocas, então, partindo dessas premissas lógicas, é CORRETO concluir que