鲜榨果汁厂安排小富、小况、小能三名员工分别负责清洗区、榨汁区、灌装区（每人一处，…
鲜榨果汁厂安排小富、小况、小能三名员工分别负责清洗区、榨汁区、灌装区（每人一处，互不相同）。已知：小富不负责灌装区；小况也不负责灌装区；小能不负责清洗区。 由此可以推出下列哪项必然成立？
A. 小能负责灌装区
B. 小富负责清洗区
C. 小况负责榨汁区
D. 小能负责榨汁区
答案与解析
正确答案：A
花生十三讲解
朴素逻辑之条件锁定。小富不负责灌装区，小况也不负责灌装区，三区每人一处，灌装区只能由小能负责，与'小能不负责清洗区'相容，A必然成立。清洗区与榨汁区在小富、小况之间尚有两种分配：富清洗况榨汁，或富榨汁况清洗，故B、C不必然；D小能负责榨汁区与推理矛盾。确认答案为A。
原解析
小富、小况都不负责灌装区，灌装区只能由小能负责（与'小能不负责清洗区'相容），A必然成立。清洗区与榨汁区在小富、小况之间有两种分配，故B、C不必然，D错误（程序枚举验证：恰两种有效方案且小能均在灌装区）。