6.7 推论支持