A Python program to help solve a logic problem.