Einstein's Puzzle - Complete Scheme File

From OpenCog

See the source code, look in the tests directory, specifically, at /tests/query/deduct-einstein.scm and /tests/query/deduct-rules.scm.