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.