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