inference rules logic