年度盘库中，小暨、小隗、小眭三人分别负责一库、二库、三库三个档案库房（每人一个，…
年度盘库中，小暨、小隗、小眭三人分别负责一库、二库、三库三个档案库房（每人一个，互不相同）。已知：小暨不负责一库；小隗不负责二库；小眭也不负责二库。 由此可以推出下列哪项必然成立？
A. 小眭负责三库
B. 小隗负责一库
C. 小暨负责二库
D. 小隗负责二库
答案与解析
正确答案：C
花生十三讲解
用朴素逻辑的匹配排除法。三人各负责一个库房。小隗不负责二库、小眭也不负责二库，则二库只能由小暨负责，且与'小暨不负责一库'相容，故A必然成立。剩下一库与三库在小隗、小眭之间分配：可以隗一库眭三库，也可以隗三库眭一库，两种方案均满足条件，故B、C不必然成立，D与推理直接矛盾。确认答案为C。
原解析
小隗、小眭都不负责二库，二库只能由小暨负责（与'小暨不负责一库'相容），C必然成立。一库与三库在小隗、小眭之间有两种分配，故B、A不必然，D错误（程序枚举验证：恰两种有效方案且小暨均负责二库）。