8 推论