Prints the rule that has been triggered when failing in testCase/1
Passes testCase 2