Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 alpha 4/15/85; site pucc-h
Path: utzoo!watmath!clyde!cbosgd!ihnp4!inuxc!pur-ee!pucc-j!pucc-h!ags
From: ags@pucc-h (Dave Seaman)
Newsgroups: net.puzzle,net.math
Subject: Re: Logic puzzle creation query
Message-ID: <2506@pucc-h>
Date: Thu, 5-Dec-85 14:05:35 EST
Article-I.D.: pucc-h.2506
Posted: Thu Dec  5 14:05:35 1985
Date-Received: Sat, 7-Dec-85 04:49:33 EST
References: <4253@topaz.RUTGERS.EDU>
Reply-To: ags@pucc-h.UUCP (Dave Seaman)
Organization: Purdue University Computing Center
Lines: 12
Xref: watmath net.puzzle:1228 net.math:2599

In article <4253@topaz.RUTGERS.EDU> cje@topaz.RUTGERS.EDU (Ernst @ Sanctum Sanctorum) writes:
>I've seen puzzles in which you have males
>and females and the clues run along the lines of "Neither Polly, the cat 
>owner, nor Mr. Smith have a green car", which tells you that Smith is male 
>(which wasn't known before) and that neither he nor Polly own the cat or the 
>green car.

The stated clue does not allow you to conclude that either Polly or Mr. Smith
is a different person from the cat owner.  Any puzzle whose solution depends
on this deduction is defective.
-- 
Dave Seaman	  {decvax|harpo|ihnp4|inuxc|seismo|ucbvax}!pur-ee!pucc-h!ags