以下哪个产生式正确地描述了“老韩和老郑是朋友”？

以下哪个产生式正确地描述了“老韩和老郑是朋友”？
A、IF是（Han，老韩）AND是（Zheng，老郑）THEN是（Han，Zheng，Enemies）
B、IF是（Han，老韩）OR是（Zheng，老郑）THEN是（Han，Zheng，Friends）
C、IF是（Han，老韩）THEN是（Zheng，老郑，Friends）
D、IF是（Han，老韩）AND是（Zheng，老郑）THEN是（Han，Zheng，Friends）
正确答案：IF是（Han，老韩）AND是（Zheng，老郑）THEN是（Han，Zheng，Friends）