黑白色，则它是驼鸟。（14）若某动物是鸟且不会飞且会游泳且黑白色，则它是企鹅。（15）若某动物是鸟且善飞且不怕风浪，则它是海燕。
下面是该规则集所形成的（部分）推理网络：
老虎
金钱豹
长颈鹿
有黑色条纹
黄褐色
食肉动物
有黑色斑点
有蹄动物
哺乳动物
有蹄
有爪
有犬齿
目盯前方
有奶
有毛发
吃肉长腿
长脖子
有暗斑点
3
f2源程序
A
A
imalClassifyi
gExpertSystem

database
xpositivesymbol，symbol
x
egativesymbol，symbol
predicates
ru

a
imal_issymbol
it_issymbol
positivesymbolsymbol

egativesymbolsymbol
clear_facts
remembersymbolsymbolsymbol
asksymbolsymbol
goal
ru

clauses
ru

a
imal_isX
write