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.
See the source code, look in the tests directory, specifically, at /tests/query/deduct-einstein.scm and /tests/query/deduct-rules.scm.