As alternativas abaixo apresentam regras de inferência para dependências funcionais, nas quais as letras gregas !$ a, \beta \quad e \quad \gamma !$ representam conjuntos de atributos. Qual das alternativas está incorreta?