新手求解

绿色的两个6必定是一真一假（通过蓝色两个6构成链真假传递），无论哪个是真，两个红色的6都是假。
可以参考下这里面的例子，和这个很像。
http://hi.baidu.com/kiwy07/item/09202ad5b287b2846cce3f09

强链在推导时，假设一端点为假，则另一端点必为真，因此强链只能保证必然有一端点为真，但不能保证另一端点为假。
弱链在推导时，假设一端点为真，则另一端点必为假，因此弱链只能保证必然有一端点为假，但不能保证另一端点为真。
二楼的表述不够严谨，严谨的表述是：绿色的两个6必定有一为真。
多谢谢大师指导！