This four-star logic puzzle has 4 noun types, 10 nouns per type, 3 links, 109 facts, and no rules. It needs 600 marks and 6 grids. This puzzle can be solved without assumptions, but needs help from Level 2g. Before the first mark is entered by this level, the program finds 474/600 marks and 28/60 pairs. The facts still left are given below.
Thompson was just before the dentist (clue 6).
The mechanic was before, but not just before McNeil (clue 7).
The bank teller was before, but not just before Zimmer (clue 9).
Anne was just before Williams (clue 10).
The pilot was just before Anne (clue 10).
The programmer was not just before the secretary (clue 11).
Mark was before, but not just before Betty (clue 13).
This is the situation for each noun in these facts.
Thompson may be 1 - 4, while the dentist may be 2 - 5.
The mechanic may be 2 - 5, or 7, while McNeil may be 4 - 6, or 9.
The bank teller may be 1 - 5, or 7, while Zimmer may be 3 - 6, or 9.
Anne may be 2 - 5, while Williams may be 3 - 6.
The pilot may be 1 - 4. So pilot, Anne, Williams may be 1 - 3, 2 - 4, 3 - 5, or 4 - 6.
The programmer may be 3 or 4, while the secretary is 6th. This fact is satisifed no matter what.
Mark may be 1 or 2, while Betty may be 3 or 4. So if Mark is 1, Betty is 3 or 4. And if Mark is 2, Betty is 4.
Level 2g
The first mark found by this level involves facts 91 and 97, where the link for both facts have "Order" as the noun type. Mark 474, 'X' for 4th and McNeil, was in response to the question: If MacNeil is 4th, can the other three nouns in the two facts be placed with a noun of type "Order"?
If McNeil is 4th, then the mechanic must be 2nd. That works.
Can the pilot be 1st and Anne 2nd? No, because Anne is not the mechanic (she's the musician).
Can the pilot be 2nd and Anne 3rd? No, because the mechanic is already 2nd.
Can the pilot be 3rd and Anne 4th? No, because Anne's last name is not McNeil (her last name is Olson).
Can the pilot be 4th and Anne 5th? No, because the pilot's last name is not McNeil (it is Ducklow).
Because all four nouns cannot be placed at the same time with a noun of type "Order", McNeil cannot be 4th. This level will be used to enter four more marks.
I can "testify" that this is a difficult logic puzzle.