已知和验证是一个更广的区间，表示“leeli不是柯南”这件事可能在我的已知信息里、验证信息里、或者两者均有。

但总之，这是一个板上钉钉的结论。
【 在 ap9 的大作中提到: 】
: 所以你的意思是
: leeli是柯南与你的已知或验证信息不符。
: 是或的关系，不是和的关系？
--
FROM 218.28.41.*