inference rules