存在某种关系时，推理存在新关系

Rule: use(?D), takesomething(?haha, ?um) -> takesomething(?haha, ?D)

【推广】 免费学中医，健康全家人
原文地址：https://www.cnblogs.com/thinker757802/p/12739014.html