Now, having demonstrated how to test rules with real cases (as performed in Inputs and outputs of the four test cases) as well as having discussed two manual methods for developing these test cases, it is time to demonstrate how Corticon Studio performs conflict and completeness checking automatically.