python式思辨

设A为条件，B.C为完全相反的结论。
KFK:if〈A〉,〈B〉
GLXY:if〈A〉,〈C〉
我不知道为什么会出现这样的结果，也许是我的版本太久没有更新了吧