“这些人在法院工作，所以这些人是审判员。’是正确的省略式三段论推理。