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.