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

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）