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

苏格拉底推论python实验遇到一个问题

我的代码

```python
import nltk


lp = nltk.sem.logic.LogicParser()
P = lp.parse('man(socrates)')
Q = lp.parse('all x.(man(x)->mortal(x))')
R = lp.parse('mortal(socrates)')
prover1 = nltk.inference.prover9.Prover9()
prover1.prove(R, [P, Q])

错误

Traceback (most recent call last):
  File "D:/A学科/6知识表示与处理/作业/3/main.py", line 9, in 
    prover1.prove(R, [P, Q])
  File "D:\vs studio\共享组件\Python37_64\lib\site-packages\nltk\inference\api.py", line 37, in prove
    return self._prove(goal, assumptions, verbose)[0]
  File "D:\vs studio\共享组件\Python37_64\lib\site-packages\nltk\inference\prover9.py", line 328, in _prove
    self.prover9_input(goal, assumptions), verbose=verbose
  File "D:\vs studio\共享组件\Python37_64\lib\site-packages\nltk\inference\prover9.py", line 357, in _call_prover9
    updated_input_str, self._prover9_bin, args, verbose
  File "D:\vs studio\共享组件\Python37_64\lib\site-packages\nltk\inference\prover9.py", line 219, in _call
    return (stdout.decode("utf-8"), p.returncode)
UnicodeDecodeError: 'utf-8' codec can't decode byte 0xd0 in position 150: invalid continuation byte

```

python文字编码的问题，修改下，或者不用中文