箱庭推理?