inference rules 6770249