直言判断的变形直接推理