///
Considerando a carga horária diária de trabalho de 4 servidores públicos, são fornecidas as seguintes informações: Anselmo e Jorge não trabalham 5h/dia; Fernando e Diogo não trabalham 6h/dia e nem 7h/dia; Diogo não trabalha 8h/dia; e, Anselmo não trabalha 6h/dia.
Se os 4 servidores públicos possuem cargas horárias de trabalho distintas dentre as citadas, qual servidor trabalha 7h/dia?