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.
|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.|
|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.