だいたい初手でアルファベットを絞り込んだらあとは流れで、という感じで解いているのでプログラムに落とし込んだ。実際にはあり得る単語はもうちょっと少ないと思うけど、人間の方も /usr/share/dict/words を使って解いているし、初手の単語は固定している…