Em um tribunal os processos possuem capas totalmente de cor cinza ou totalmente de cor azul. Sabe-se também que: Os processos de capa cinza não vão para o ar...

todo processo de capa azul vai para o arquivo;

todo processo que vai para o arquivo tem capa azul;

a capa de um processo que não é arquivado é certamente cinza;

alguns processos que são arquivados têm capa cinza;

nenhum processo de capa azul vai para o arquivo.