写一个实验性的三段论程序。 DEMO http://www.wukai.me/syllogism/ TODO 否定性的假设 资料收集 分解句子结构：https://github.com/stanfordnlp/CoreNLP Stanfordnlp 除 java 外其他语言实现的版本：https://stanfordnlp.github.io/CoreNLP/other-languages.html