Em uma unidade prisional, o diretor estabeleceu as seguintes regras para a alocação de detentos em celas:
- Se um detento é de alta periculosidade, então ele é alocado em cela individual.
- Se um detento não é de alta periculosidade, então ele é alocado em cela coletiva.
- Todo detento que participa de atividades laborais é de alta periculosidade.
- Nenhum detento que participa de atividades educacionais é alocado em cela individual.
- Alguns detentos que participam de atividades laborais também participam de atividades educacionais.
Com base nessas regras, é necessariamente verdadeiro que:
