用python编写相应的规则，推理出大象是Animal，而且有Head.

可以使用Python中的规则引擎pyknow来实现这个任务。下面是一段实现的示例代码：

from pyknow import *

class Animal(Fact):
    pass

class Elephant(KnowledgeEngine):
    @Rule(Animal(description='large'))
    def is_elephant(self):
        self.declare(Animal(name='elephant'))

class Head(KnowledgeEngine):
    @Rule(Animal(name='elephant'))
    def has_head(self):
        self.declare(Animal(description='has head'))

engine = KnowledgeEngine()
engine.reset()
engine.declare(Animal(description='large'))
engine.run()

print(engine.facts)

在这个例子中，我们定义了一个Animal类作为规则引擎的事实，然后又定义了两个规则引擎类Elephant和Head，分别表示大象和有头的动物。在Elephant类中，我们定义了一个规则，当事实中有描述为'large'的Animal时，就认为这个Animal是大象。在Head类中，我们定义了另一个规则，当事实中有名字为'elephant'的Animal时，就认为它有头。

最后，我们创建一个KnowledgeEngine类的实例engine，并把Animal(description='large')作为事实输入到引擎中。引擎会自动推理出大象是Animal，并且有Head。最后我们打印出所有的事实，得到以下结果：

FactList([(0, InitialFact()), (1, Animal(description='large')), (2, Animal(name='elephant')), (3, Animal(description='has head'))])

可以看到，除了初始的InitialFact外，还有两个Animal事实被推理出来了，这就证明了我们的规则引擎成功地推理出了大象是Animal，并且有Head的结论。