color(赤).
color(青).
color(緑).
color_map(Kngw, Trm, Kohk, Midr, Hdg, Nish, Tzk) :-
color(Kngw),
color(Trm),
color(Kohk),
color(Midr),
color(Hdg),
color(Nish),
color(Tzk),
Kngw \= Trm,
Kngw \= Kohk,
Kngw \= Midr,
Kngw \= Hdg,
Kngw \= Nish,
Trm \= Kohk,
Kohk \= Tzk,
Midr \= Tzk,
Midr \= Hdg,
Hdg \= Nish.
( color_map(Kngw, Trm, Kohk, Midr, Hdg, Nish, Tzk) ->
format('塗り分け可能~n')
;
format('塗り分け不可~n')
)
).
Y29sb3Io6LWkKS4KY29sb3Io6Z2SKS4KY29sb3Io57eRKS4KY29sb3JfbWFwKEtuZ3csIFRybSwgS29oaywgTWlkciwgSGRnLCBOaXNoLCBUemspIDotCiAgICBjb2xvcihLbmd3KSwKICAgIGNvbG9yKFRybSksCiAgICBjb2xvcihLb2hrKSwKICAgIGNvbG9yKE1pZHIpLAogICAgY29sb3IoSGRnKSwKICAgIGNvbG9yKE5pc2gpLAogICAgY29sb3IoVHprKSwKCiAgICBLbmd3IFw9IFRybSwKICAgIEtuZ3cgXD0gS29oaywKICAgIEtuZ3cgXD0gTWlkciwKICAgIEtuZ3cgXD0gSGRnLAogICAgS25ndyBcPSBOaXNoLAoKICAgIFRybSBcPSBLb2hrLAogICAgS29oayBcPSBUemssCiAgICBNaWRyIFw9IFR6aywKICAgIE1pZHIgXD0gSGRnLAogICAgSGRnIFw9IE5pc2guCgo6LSBpbml0aWFsaXphdGlvbigKICAgICggY29sb3JfbWFwKEtuZ3csIFRybSwgS29oaywgTWlkciwgSGRnLCBOaXNoLCBUemspIC0+CiAgICAgIGZvcm1hdCgn5aGX44KK5YiG44GR5Y+v6IO9fm4nKQogICAgOwogICAgICBmb3JtYXQoJ+Whl+OCiuWIhuOBkeS4jeWPr35uJykKICAgICkKKS4=