More testcases with inference rules