A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 6 inhabitants: Scarlett, William, Michael, Harper, Mia, and Aria. In Scarlett's words: "Mia is not a knave". William stated, "Scarlett is a knave and Scarlett is a knight". "Harper is a knight or Aria is a knave," Michael mentioned. In Harper's words: "Aria is not a knave". "Scarlett is a knave and Scarlett is a knight" - Mia. Aria stated, "If Michael is a knave then Harper is a knave". So who is a knight and who is a knave?
Scarlett is a knave, William is a knave, Michael is a knight, Harper is a knight, Mia is a knave, and Aria is a knight.
(1) Scarlett is a knave
(2) William is a knave
(3) Michael is a knight
(4) Harper is a knight
(5) Mia is a knave
(6) Aria is a knight
Assume Scarlett is a knight. No contradiction is found in their claim that Mia is not a knave. Mia cannot be a knight, because this would contradict the claim of their own that Scarlett is a knave and Scarlett is a knight. Mia cannot be a knave, because this would contradict the claim of Scarlett that Mia is not a knave. We have exhausted all possibilities for Mia, so let us go back and reconsider Scarlett. Assume Scarlett is a knave. No contradiction is found in their false claim that Mia is not a knave. Mia cannot be a knight, because this would contradict the false claim of Scarlett that Mia is not a knave. Assume Mia is a knave. No contradiction is found in their false claim that Scarlett is a knave and Scarlett is a knight. William cannot be a knight, because this would contradict the claim of their own that Scarlett is a knave and Scarlett is a knight. Assume William is a knave. No contradiction is found in their false claim that Scarlett is a knave and Scarlett is a knight. Assume Michael is a knight. No contradiction is found in their claim that Harper is a knight or Aria is a knave. Assume Harper is a knight. No contradiction is found in their claim that Aria is not a knave. Assume Aria is a knight. No contradiction is found in their claim that If Michael is a knave then Harper is a knave.