Arthur, Carlos e Gisele são engenheiros que atuam exclusivamente
em uma das seguintes áreas da engenharia: produção, civil ou
elétrica, mas não necessariamente nessa ordem. Sabendo que:
• Arthur não atua na área de produção;
• Carlos ou Gisele atua na área civil;
• Gisele e Arthur não atuam na área civil.
Deduz-se ser verdade que