color(赤).
color(青).
color(黄).
color_yokohama(Tsurumi, Kohoku, Midori, Hodogaya, Nishi) :-
color(Tsurumi), color(Kohoku), color(Midori), color(Hodogaya), color(Nishi),
Tsurumi \= Kohoku,
Kohoku \= Midori,
Kohoku \= Hodogaya,
Midori \= Hodogaya,
Hodogaya \= Nishi.
(
( color_yokohama(_, _, _, _, _) ->
format('3色での塗り分けが可能です。~n')
;
format('3色での塗り分けは不可能です。~n')
)
)
).
Y29sb3Io6LWkKS4KY29sb3Io6Z2SKS4KY29sb3Io6buEKS4KCmNvbG9yX3lva29oYW1hKFRzdXJ1bWksIEtvaG9rdSwgTWlkb3JpLCBIb2RvZ2F5YSwgTmlzaGkpIDotCgogICAgY29sb3IoVHN1cnVtaSksIGNvbG9yKEtvaG9rdSksIGNvbG9yKE1pZG9yaSksIGNvbG9yKEhvZG9nYXlhKSwgY29sb3IoTmlzaGkpLAoKCiAgICBUc3VydW1pIFw9IEtvaG9rdSwKICAgIEtvaG9rdSBcPSBNaWRvcmksCiAgICBLb2hva3UgXD0gSG9kb2dheWEsCiAgICBNaWRvcmkgXD0gSG9kb2dheWEsCiAgICBIb2RvZ2F5YSBcPSBOaXNoaS4KCjotIGluaXRpYWxpemF0aW9uKAogICAgKAoKICAgICAgICAoIGNvbG9yX3lva29oYW1hKF8sIF8sIF8sIF8sIF8pIC0+CiAgICAgICAgICAgIGZvcm1hdCgnM+iJsuOBp+OBruWhl+OCiuWIhuOBkeOBjOWPr+iDveOBp+OBmeOAgn5uJykKICAgICAgICA7CiAKICAgICAgICAgICAgZm9ybWF0KCcz6Imy44Gn44Gu5aGX44KK5YiG44GR44Gv5LiN5Y+v6IO944Gn44GZ44CCfm4nKQogICAgICAgICkKICAgICkKKS4=