Here is another logic problem from Ian Stewart.

1. No cat that wears a heron suit is unsociable.
2. No cat without a tail will play with a gorilla.
3. Cats with whiskers always wear heron suits.
4. No sociable cat has blunt claws.
5. No cats have tails unless they have whiskers.

Therefore:

No cat with blunt claws will play with a gorilla.

Is the deduction logically correct?

I confess I don’t know what a heron suit is.  Google showed various garments with herons imprinted on the cloth, so maybe that is what it is.

Answer.

See the Heron Suit Problem for a solution.