反例：形式推理无效性的判定