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

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