Um escritório jurídico especializado em causas cíveis possui três advogados: Dr. Andrade; Dra. Barros; e Dr. Costa. Para otimizar o trabalho, os processos são distribuídos entre eles, de acordo com as seguintes regras lógicas.

I Se um processo envolve direito do consumidor, então ou dr. Andrade ou dra. Barros deverá atendê-lo.

II Se um processo não envolve contratos, então dr. Costa não deverá atendê-lo.

III Se dra. Barros atende um processo, então ele não envolverá direito de família.