设定系推理