se Daniel não é supervisor de instalações prediais, então ele é engenheiro civil pleno I.

se Daniel não é engenheiro civil pleno I, então ele não é supervisor de instalações prediais.

se Daniel é engenheiro civil pleno I, então ele é supervisor de instalações prediais.

se Daniel é engenheiro civil pleno I, então ele não é supervisor de instalações prediais.

se Daniel é supervisor de instalações prediais, então ele não é engenheiro civil pleno I.