A Carlos é advogado.
B se Amanda não é juíza, então Carlos não é advogado.
C Amanda é juíza.
D Amanda é juíza se, e somente se, Carlos é advogado.
E Carlos não é advogado.