苏格拉底推论python实验总是会出现这个问题？

为什么苏格拉底推论符号化及论证python实验总是会出现这个问题？