This five-star logic puzzle is very difficult to solve. It has 6 noun types, 9 nouns per type, 7 links, 67 facts, and 2 rules with triggers. It has 1215 marks, 135 pairs and 15 grids.
Most puzzles have links that have just one noun type. This puzzle has three: Founded (the year a town was founded), John (John's visits), and Alice (Alice's visits).
Links involving the year founded: "with" (default), "founded after" and "founded 24 years after"
Links involving John's visits: "visited by John three weeks after"
Links involving Alice's visits: "visited by Alice after", "visited by Alice three weeks after", "twice Alice's visit number to"
Before solving this puzzle, please disable assumptions. The program will find 719/1215 marks, 38/135 pairs, and 4 facts still under investigation.
Let's take a look at the marks entered using SmartRules (rules 1 and 2).
I submit 'O' for Upper and 3A. Rule 2c on mark 385, Only one noun in list2 is available for noun1.
I submit 'O' for 1923 and Cleanwater. Rule 2c on mark 443, Only one noun in list2 is available for noun1.
I submit 'O' for Alabama and 8J. Rule 2c on mark 443, Only one noun in list1 is available for noun2.
I submit 'O' for 1889 and Delaware. Rule 1d on mark 644, Only one noun in list1 is available for noun2.
Here are the facts still left to examine.
The town in Delaware was visited by Alice three weeks after the town founded in 1902 (clue 11).
First street was visited by Alice after Newtown (clue 14).
Main street was visited by John three weeks after Iowa (clue 16).
Iowa was twice Alice's visit number to Water (clue 19).
Alice could visit the motel in Delaware: 4th, 7th, or 9th
Alice could visit the town founded in 1902: 1st, 4th, or 6th
Alice could visit the motel on First Street: 4th or 6th - 9th
Alice could visit Newtown: 3rd - 8th
John could visit the motel on Main Street: 4th, 5th, or 9th
John could visit the motel in Iowa: 1st, 2nd, or 6th
Alice's stop in Iowa could be 4th or 8th.
Alice's stop on Water Street could be 2nd or 4th.
There's nothing more to do with the facts, so let's examine the rules. The first rule is "The three motels on Ferry Street, the town founded in 1889, and in Greenup are, in some order, the ones in Delaware, the one John visited second, and the one Alice visited sixth (clue 5)."
The motel on Ferry Street is not in Delaware, but could be the one John visited 2nd or Alice visited 6th.
The town founded in 1889 is in Delaware.
Greenup is not in Delaware, but could be the one John visited 2nd or Alice visited 6th.
The second rule is "The three towns with Upper Street, the one founded in 1923, and the one in Alabama are, in some order, the one John visited eighth, the one Alice visited third, and Cleanwater (clue 15)."
The motel on Upper Street is not the one John visited 8th, but is the one Alice visited third, and it is not the one in Cleanwater.
The town founded in 1923 is not the one John visited 8th, is not the one Alice visited third, but is Cleanwater.
The motel in Alabama is the one John visited 8th, is not the one Alice visited third, and is not the one in Cleanwater.
As you can see, the second rule has done its job.
With assumptions enabled, the program needs 3 assumptions to find the solution.
