A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 6 inhabitants: Mia, Henry, Avery, Owen, Noah, and David. As Mia put it, "If Owen is a knight then Noah is a knave". "Noah is not a knave," Henry mentioned. Avery commented, "Mia is a knave and Mia is a knight". Owen commented, "David is a knave or Avery is a knave". Noah was heard saying, "Henry is a knave or Henry is a knight". "Mia is a knight" - David. So who is a knight and who is a knave?
Mia is a knave, Henry is a knight, Avery is a knave, Owen is a knight, Noah is a knight, and David is a knave.
(1) Mia is a knave
(2) Henry is a knight
(3) Avery is a knave
(4) Owen is a knight
(5) Noah is a knight
(6) David is a knave
Assume Mia is a knight. No contradiction is found in their claim that If Owen is a knight then Noah is a knave. Assume Owen is a knight. No contradiction is found in their claim that David is a knave or Avery is a knave. Assume David is a knight. No contradiction is found in their claim that Mia is a knight. Avery cannot be a knight, because this would contradict the claim of their own that Mia is a knave and Mia is a knight. Assume Avery is a knave. No contradiction is found in their false claim that Mia is a knave and Mia is a knight. Noah cannot be a knight, because this would contradict the claim of Mia that If Owen is a knight then Noah is a knave. Noah cannot be a knave, because this would contradict the false claim of their own that Henry is a knave or Henry is a knight. We have exhausted all possibilities for Noah and Avery, so let us go back and reconsider David. David cannot be a knave, because this would contradict the false claim of their own that Mia is a knight. We have exhausted all possibilities for David, so let us go back and reconsider Owen. Assume Owen is a knave. No contradiction is found in their false claim that David is a knave or Avery is a knave. Assume David is a knight. No contradiction is found in their claim that Mia is a knight. Avery cannot be a knight, because this would contradict the claim of their own that Mia is a knave and Mia is a knight. Avery cannot be a knave, because this would contradict the false claim of Owen that David is a knave or Avery is a knave. We have exhausted all possibilities for Avery, so let us go back and reconsider David. David cannot be a knave, because this would contradict the false claim of Owen that David is a knave or Avery is a knave. We have exhausted all possibilities for David and Owen, so let us go back and reconsider Mia. Assume Mia is a knave. No contradiction is found in their false claim that If Owen is a knight then Noah is a knave. Assume Owen is a knight. No contradiction is found in their claim that David is a knave or Avery is a knave. David cannot be a knight, because this would contradict the claim of their own that Mia is a knight. Assume David is a knave. No contradiction is found in their false claim that Mia is a knight. Avery cannot be a knight, because this would contradict the claim of their own that Mia is a knave and Mia is a knight. Assume Avery is a knave. No contradiction is found in their false claim that Mia is a knave and Mia is a knight. Assume Noah is a knight. No contradiction is found in their claim that Henry is a knave or Henry is a knight. Assume Henry is a knight. No contradiction is found in their claim that Noah is not a knave.