Se é verdade que alguns advogados são juízes e que todos os juízes são policiais, então é necessariamente verdade que:
Todo policial é advogado.
Todo advogado que é juiz também é policial.
Todo policial é juiz.
Há juízes que não são policiais.
Todo advogado que é policial também é juiz.
