Added facts to Atomspace via scm file for the planner solving Einstein puzzle.
Added rules for the planner solving Einstein puzzle.