Here is a list of things that Verifier can currently do: http://community.jboss.org/wiki/DroolsVerifier
It does just what your mentioned, uses Drools to verify Drools. 
You can extend the Verifier rules with your own if you want to.

Toni Rikkola

On Jul 11, 2011, at 4:45 PM, Michael Anstis wrote:

drools-verifier does this to an extent (that I believe can be extended).

Toni Rikkola will know more about it.

On 11 July 2011 14:10, Andre <morpheusandre@web.de> wrote:
has anybody thought of controlling rule consistency of drools with drools?
or are there features drools has?

--
View this message in context: http://drools.46999.n3.nabble.com/Detection-of-Rule-inconsistences-tp3159127p3159127.html
Sent from the Drools: User forum mailing list archive at Nabble.com.
_______________________________________________
rules-users mailing list
rules-users@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-users

_______________________________________________
rules-users mailing list
rules-users@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-users