problem-set/puzzles/truth.lies/mars_venus.desc created : 08/08/88 revised : 08/17/89 Natural Language Description : Here's the situation: human observers in this exclusive club on Ganymede can't distinguish Martians from Venusians, males from females, except for the fact that Venusian women and Martian men always tell the truth and Venusian men and Martian women always lie. Ork says "Bog is from Venus." Bog says "Ork is from Mars." Ork says "Bog is male." Bog says "Ork is female." Who's what? (sex & race). Versions : mars_venus : Uses hyperresolution, paramodulation, and unit deletion. created : 08/08/88. verified for ITP : 08/08/88. translated for OTTER : caw. verified for OTTER : 08/17/89.