Se Clotilde não é Enfermeira, então Creilson não é Professor.

Clotilde e Creilson são Professores.

Se Creilson é Professor, Clotilde é Enfermeira.

Clotilde é Enfermeira ou Creilson é Professor.

Se Creilson não é Professor, então Clotilde não é Enfermeira.