problem-set/puzzles/truth.lies/knightknave.desc created : 08/08/88 revised : 08/17/89 Natural Language Description : A knights & knaves problem, with the rule that The husband & wife problem : if he's a knight, so is she. Versions : knightknave : Uses UR resolution, paramodulation, and unit deletion. created : 08/08/88. verified for ITP : 08/08/88. translated for OTTER : caw. verified for OTTER : 08/17/89.