Notes

• _ These have ordered choices, which are given.
• __ These have ordered choices, but must be solved for.
• Note that 1#18 involves sharing and 1#19 involves owning multiple items.
• First means first name. Last means last name. Full means full name.

Related

Other people have developed solvers for these types of puzzles.

• Johannes Singler's LogicalSolver web app (2013), ported from a Java applet (2001)
• Darra Ricks's Logic-puzzle solver Java app (2013)
• Bryan Deter's logic-puzzle-solver Ruby library (2008)
• Michael Benson's Mystery Master site with JavaScript solver (2017?), registration required?

There are also papers about solving these types of puzzles.

• 2009-05-16 Puzzler: An Automated Logic Puzzle Solver
• 2019-10-15 Solving Logic Grid Puzzles with an Algorithm that Imitates Human Behavior