You are a spy in a hostile country, trying to escape the local authorities. As a disguise, you join the local Knavy, which is like a navy, but is made up entirely of knaves (people who alternate telling the truth and lying). You get word that a ship, the HMS Levik is docked in the harbor to help you escape. The problem is, there are five ships in port (at docks one through five) and none of them are marked with a name.
  You manage to talk with two old sea captains in the Knavy about which ship is which. They talk some, but you don't know if their first statement is a truth or a falsehood.
  Based on their curious descriptions, can you figure out which ship is the HMS Levik?

CAPT. HUDSON:
1. The Salamander is not moored next to the Revenge.
2. The Antimony is moored at dock one.
3. The Levik is moored at dock two.
4. The Defiance is moored next to the Levik

CAPT. BAFFIN
1. The Defiance is not moored at dock two.
2. The Levik is moored at dock four.
3. The Salamander is moored next to the Revenge.
4. The Antimony is not moored next to the Salamander.

(In reply to re: Solution by Steve)

By saying h3 is true and proving it false, I'm showing the original assumption (B2 it true) was wrong which is why I can assert that B2 is false.

The original statement I made was chosen because I could prove it wrong. That twisted way of approaching these problems is what makes them fun (at least for me).

EDIT:
p.s. I'm pretty confidant in my solution but I can discuss it more if anyone wants.
Edited on September 2, 2004, 2:57 pm

Posted by Rajal on 2004-09-02 14:47:31