modified initial knowledge base increases effciency

The initial klnowledge base now adds constraints induced by
conditionals to knwos facts.