Dem Constraint-Netz der Strategie medium_consistency wurde ebenfalls ein weiteres Constraint hinzugefügt: NSW!=V. Außerdem erfolgte für die Variable V die manuelle Einschränkung der zugehörigen Domäne auf das Element ,,blau``. Das Resultat dieser Einschränkungen ist ein (kanten-)inkonsistentes Constraint-Netz. Die Verarbeitung durch einen Algorithmus für Kantenkonsistenz muss eine Kettenreaktion auslösen, die dazu führt, dass der Wertebereich einer Variablen keine Elemente mehr enthält. Das Ergebnis der Strategie medium_consistency stellt sich wie folgt dar:
Ergebnis fuer Kartenfaerbeproblem:
==================================
Strategie: 'medium_consistency'
Expression: (WA!=NT); (WA!=SA); (NT!=SA); (NT!=Q); (SA!=Q); (SA!=NSW);
(SA!=V); (Q!=NSW); (T=T); (NSW!=V)
Primitive Constraints: (10)
(WA!=NT)
(WA!=SA)
(NT!=SA)
(NT!=Q)
(SA!=Q)
(SA!=NSW)
(SA!=V)
(Q!=NSW)
(T=T)
(NSW!=V)
Variablen: [NT, NSW, SA, WA, T, Q, V]
Domaenen der Constraint-Variablen: (7)
NT: [blau]
NSW: [rot]
SA: [gruen]
WA: [rot]
T: [blau, gruen, rot]
Q: []
V: [blau]
Inkonsistenz: true
Kantenkonsistenz nicht herstellbar!
Die Propagation führt wie erwartet zu einem domain wipe out: Im Ergebnis existieren für die Variable Q keine konsistenten Belegungen in deren Wertbereich mehr, wodurch Kantenkonsistenz für das derart modifizierte Kartenfärbeproblem nicht mehr herstellbar ist. Das Constraint-Netz wird entsprechend als inkonsistent markiert.