七、自然语言中的推论