いつもお世話になっております。
丁寧な解説とても感謝しております。
1行目の2つ目の属性Ａは属性Bのことで、
タプルは12個のはずが16個書かれていることに
気付いたのでご報告いたします。

ご報告ありがとうございます。
勢い余って属性Bに存在しないB4を含めた組合せにしてしまっていたようです。

訂正させていただきました。