Solve this logic puzzle: [puzzle].
List the facts and constraints, state any assumption, work through possibilities in a table, and verify the final answer against every constraint. If more than one answer fits, say so.