An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System