Dの予想について「xでy」を >>148では「xかつy」と解釈したけど、
これを「xまたはy」と解釈するよう変更してみた。

% ユーザ記述ルール

制約(_結果情報) :- 辞書検索(_結果情報, c, 1), !, fail.
制約(_結果情報) :- 辞書検索(_結果情報, b, 2), !, fail.
制約(_結果情報) :- 辞書検索(_結果情報, a, 1), !, fail.
制約(_).


(実行結果)

- 推論.
[a=2, b=1, c=3]
[a=3, b=1, c=2]
true.

そもそもの出題(の仕様記述)が曖昧なのが混乱の原因だよね。
だから昔からテストって大ーーーーー嫌いなんだ。