23、推论