Select two nodes, press I to declare them incompatible. The engine finds the maximum set of mutually compatible constraints. Adjust evidence weights to change which node gets dropped when there's a conflict.
The decision is the held set. No if-then rules. Just geometry.