FAQ re: Principle 9.2
Question: What is the sense of "formulate" in Manifesto principle 9.2?

Business people should have tools available to help them formulate, validate, and manage rules.

The intended sense includes "develop", and "express" or "articulate". Business people should have friendly, interactive tools that assist directly in correct use of vocabulary and in creating well-formed statements of business rules in structured natural language.

FAQ re: Principle 9.2
Question: Why does the Manifesto mandate tools in principle 9.2?

Business people should have tools available to help them formulate, validate, and manage rules.

Only small collections of relatively simple business rules can be effectively validated by business people without automated assistance. Beyond that point, tools are needed.

FAQ re: Principle 9.3
Question: Does 'consistency' in Manifesto principle 9.3 mean 'no contradictions'?

Business people should have tools available to help them verify business rules against each other for consistency.

The idea is to detect any kind of anomalies within sets of rules - e.g., subsumptions, equivalences (producing redundancies), near identicals (for further inspection), etc.

References:

[1] The Manifesto is free, only 2 pages long, translated into 15 languages. Have a quick look (or re-look!). No sign up required. Well worth your time.