>>971
じゃあもうちょっとヒント。

>>970で挙げた3つの行の論理は分かった?
AからIが「1から9まで」の「整数」で「すべて異なる」という
条件から必然的にそうなる。ここが分からないと解けないのでよく考えて。

分かったら(3)に注目。G=8だからHは8の約数。
1,2,8はもう駄目と分かったからH=4。
そうなると(5)でB,Eが確定できる。