Dunque, dovrebbe essere così ...
Domanderei al primo isolano: "Se ti chiedessi se lui (indicando il secondo isolano) è Euler, mi risponderesti "sir"?
Se risponde "sir", il secondo isolano è Euler, se risponde "nir", il secondo isolano non è Euler.
Spiegazione:
- Se il primo isolano è un cavaliere e il secondo è Eulero e "sir" significa "sì" allora risponderà "sir". Se invece "sir" significa "no", risponderà ancora "sir" (ovvero "No, non ti risponderei "NO")
- Se il primo isolano è un cavaliere e il secondo NON è Eulero e "sir" significa "sì" allora risponderà "nir". Se invece "sir" significa "no", risponderà ancora "nir" (ovvero "Sì, ti direi "NO")
- Se il primo isolano è un furfante e il secondo è Eulero e "sir" significa "sì" allora mentirà e risponderà "sir" (Sì, dovrei dirti "Sì"). Se invece "sir" significa "no", allora mentirà e ti risponderà ancora "sir" (ovvero "No, non dovrei dirti "NO")
- Se il primo isolano è un furfante e il secondo NON è Eulero e "sir" significa "sì" allora mentirà e risponderà "nir" (No, non dovrei dirti "Sì"). Se invece "sir" significa "no", allora mentirà e ti risponderà ancora "nir" (ovvero "Sì, dovrei dirti "NO")
Quindi stabilito se il secondo è Euler oppure no, la seconda domanda sarà:
- Se è Euler allora domanderei al primo isolano: "Se ti chiedessi se lui (indicando il terzo isolano) è Gauss, mi risponderesti "sir"?
Se risponde "sir", il terzo isolano è Gauss e il primo è Riemann, se risponde "nir", il terzo isolano è Riemmann ed il primo è Gauss.
- Se non è Euler allora domanderei al primo isolano: "Se ti chiedessi se lui (indicando il terzo isolano) è Gauss, mi risponderesti "sir"?
Se risponde "sir", il terzo isolano è Gauss, il primo è Euler e il secondo è Riemann, se risponde "nir", il terzo isolano è Euler ed il primo è Gauss.
Non funziona (perché nell'ultimo caso occorre un'altra domanda) ma la posto lo stesso