关于仨囚人就是动物园三巨头的论证：
Ⅰ山泥若是若子，狐坂若藻也是若子，并且俩人都进过监狱
Ⅱ炫神是狗，清澄晶是猫，鸡窝市民除了机器人外就只有猫猫狗狗，又由于机器人会上厕所，所以我们要把机器人ban掉，因此，鸡窝市民只有猫猫狗狗，所以炫狗和晶都是鸡窝市民
Ⅲ电棍是猴，申谷海也是猴（五尘之猕猴）
Ⅳ若藻和腾扬天下，晶和炫狗，海子姐和电棍，都没有同时出现过
论证成功