Mystery Master


Michael Benson


This article explains what assumptions are. When the Mystery Master solves a logic puzzle, it relies on facts, rules, and laws to find marks. But that may not be enough. When all else fails in finding a solution, the Mystery Master makes assumptions. In other words, it makes a guess. And if the assumption leads to a contradiction, it must undo the assumption, and make another one, until all possibilities have been exhausted. Making assumptions is the final level of the levels.

Below are the logic puzzles that require assumptions. The Marks column is the number of marks the program enters without assumptions, followed by the total number of marks for the puzzle. The Solution column gives the number of assumptions to find a solution, and the Total column is the total number of assumptions to exhaust all combinations.

Logic Puzzle Marks Solution Total Notes
Dandy Salespeople 2049/2160 5 26 After trial and error, the month of the 20 year old winner is set by the rules only after all marks have been entered.
Hello Dolly! 1027/1200 5 6
Modern Novels 59/150 1 3
Six Fearsome Heroes 76/360 6 14
Small Town Motels 719/1215 6 12
The Smith-Jones-Robinson Classic 38/54 1/2 2 2 solutions with engineer as Smith because clues are ambiguous.
Student Logic 0/16 10 10 This puzzle has no facts.


It is probably no coincidence that all of these puzzles have rules. Perhaps if the rules for a puzzle had better triggers, this would diminish/eliminate the number of assumptions.