2 从单个前提出发：直接推理