反证法
1：
如果不是，
题里说的“你可以再分配猪所在的猪圈”就没意义了
2：
如果不是
这题就一纯水模拟
就不能AC率低于80％了

综述，命题“顾客走了，猪圈不会重新关上”不成立
所以，顾客走了，猪圈会重新关上……
……………………