A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 6 inhabitants: Jackson, Avery, Lily, Henry, Benjamin, and Mason. "Benjamin is a knave," Jackson claimed. Avery expressed that If Henry is a knave then Benjamin is a knight. Lily said, "If Jackson is a knave then Henry is a knight." Henry stated, "Lily is a knight if and only if Jackson is a knight". Benjamin said, "Mason is a knave if and only if Avery is a knave." In Mason's words: "Jackson is a knave and Jackson is a knight". So who is a knight and who is a knave?
Jackson is a knight, Avery is a knight, Lily is a knight, Henry is a knight, Benjamin is a knave, and Mason is a knave.
(1) Jackson is a knight
(2) Avery is a knight
(3) Lily is a knight
(4) Henry is a knight
(5) Benjamin is a knave
(6) Mason is a knave
Assume Jackson is a knight. No contradiction is found in their claim that Benjamin is a knave. Benjamin cannot be a knight, because this would contradict the claim of Jackson that Benjamin is a knave. Assume Benjamin is a knave. No contradiction is found in their false claim that Mason is a knave if and only if Avery is a knave. Mason cannot be a knight, because this would contradict the claim of their own that Jackson is a knave and Jackson is a knight. Assume Mason is a knave. No contradiction is found in their false claim that Jackson is a knave and Jackson is a knight. Assume Avery is a knight. No contradiction is found in their claim that If Henry is a knave then Benjamin is a knight. Assume Henry is a knight. No contradiction is found in their claim that Lily is a knight if and only if Jackson is a knight. Assume Lily is a knight. No contradiction is found in their claim that If Jackson is a knave then Henry is a knight.