///
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.
Se um processo não é atendido pela dra. Barros, então ele envolverá direito de família.