应用全排序算法解决一道逻辑推理题