甲、实有推论