Three young men named Ernesto, Fontleroy, and Gildenstern arrived singly at an inn and awaited the innkeeper. When she arrived at the front desk, all three asked for the best room. The innkeeper explained that, since it was not possible for them all to have the best room, the man who had arrived first could have a spacious room overlooking the village square, the second to arrive could have a small room with a partial view of the garden, and the third would have to settle for a drafty loft by the back alley, but it was the last room she had to offer. The following conversation ensued:

Ernesto: I am a knight.
Fontleroy: While I am only a knave.
Gildenstern: I agree with you there, Fontleroy.
Ernesto: Gildenstern is a knight.
Fontleroy: No, he is a liar.
Gildenstern: Then let me say: I did not arrive first.
Ernesto: Fontleroy is the liar.
Fontleroy: Following Gildenstern's lead, let me say: I did not arrive first.
Gildenstern: Ernesto is a knave.
Ernesto: If that is so, then the most honest of us did not arrive last.
Fontleroy: Ernesto, you are a knight.
Gildenstern: Ha!

The innkeeper knew that everyone in these parts was either a knight who always told the truth, a liar who never told the truth, or a knave whose statements strictly alternated between truth and untruth. Using deductive reasoning, what is the disposition of each man, and what room did the innkeeper assign to each?

(In reply to re(2): Please Someone Correct Me by Ravi Raja)

To answer your question, Ravi, I would say you should reread your own proof. In several places, it says "this is not possible, since each of the three belong to different categories". Now remember, by the fact that your proof leaves no suitable category for Ernesto, you have proven this assumption is wrong. So why don't you drop that assumption and run through the problem a second time? Or, if you want to save the effort, try reading the excellent proofs by Trevor and Charlie, which show quite logically the category for each of the three men.

Posted by Bryan on 2003-05-20 18:51:24