6.3 混合推论