public static FOLKnowledgeBase createKingsKnowledgeBase(
InferenceProcedure infp)
{
FOLKnowledgeBase kb = new FOLKnowledgeBase(DomainFactory.kingsDomain(),
infp);
kb.tell("((King(x) AND Greedy(x)) => Evil(x))");
kb.tell("King(John)");
kb.tell("King(Richard)");
kb.tell("Greedy(John)");
return kb;
}