inference rules 4169439