A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Michael, Abigail, Aria, Chloe, Zoey, David, and Logan. Michael commented, "Zoey is a knave or Aria is a knave". As Abigail put it, "Aria is not a knight". "Logan is a knight if and only if Abigail is a knight," Aria declared. Chloe noted, "Zoey is a knight". Zoey remarked, "Abigail is a knave". In a statement by David: "Aria is a knave". Logan was heard saying, "Zoey is a knight". So who is a knight and who is a knave?

Michael Abigail Aria Chloe Zoey David Logan

Michael is a knight, Abigail is a knight, Aria is a knave, Chloe is a knave, Zoey is a knave, David is a knight, and Logan is a knave.

(1) Michael is a knight
(2) Abigail is a knight
(3) Aria is a knave
(4) Chloe is a knave
(5) Zoey is a knave
(6) David is a knight
(7) Logan is a knave

Assume Michael is a knight. No contradiction is found in their claim that Zoey is a knave or Aria is a knave.

Assume Zoey is a knight. No contradiction is found in their claim that Abigail is a knave.

Abigail cannot be a knight, because this would contradict the claim of Zoey that Abigail is a knave.

Assume Abigail is a knave. No contradiction is found in their false claim that Aria is not a knight.

Aria cannot be a knight, because this would contradict the claim of Michael that Zoey is a knave or Aria is a knave.

Aria cannot be a knave, because this would contradict the false claim of Abigail that Aria is not a knight.

We have exhausted all possibilities for Aria and Abigail, so let us go back and reconsider Zoey.

Assume Zoey is a knave. No contradiction is found in their false claim that Abigail is a knave.

Assume Abigail is a knight. No contradiction is found in their claim that Aria is not a knight.

Aria cannot be a knight, because this would contradict the claim of Abigail that Aria is not a knight.

Assume Aria is a knave. No contradiction is found in their false claim that Logan is a knight if and only if Abigail is a knight.

Logan cannot be a knight, because this would contradict the false claim of Aria that Logan is a knight if and only if Abigail is a knight.

Assume Logan is a knave. No contradiction is found in their false claim that Zoey is a knight.

Chloe cannot be a knight, because this would contradict the claim of their own that Zoey is a knight.

Assume Chloe is a knave. No contradiction is found in their false claim that Zoey is a knight.

Assume David is a knight. No contradiction is found in their claim that Aria is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Michael, Jackson, Alexander, Aiden, Abigail, Zoey, and Joseph. Michael remarked, "Zoey is a knave if and only if Jackson is a knave". As Jackson put it, "Zoey is a knight if and only if Abigail is a knave". Alexander stated, "Michael is a knave and Aiden is a knave". In a statement by Aiden: "Joseph is a knight or Zoey is a knave". As Abigail put it, "Zoey is not a knave". Zoey commented, "Abigail is a knave or Alexander is a knave". Joseph asserted: "If Abigail is a knave then Alexander is a knave". So who is a knight and who is a knave?

Michael Jackson Alexander Aiden Abigail Zoey Joseph

Michael is a knave, Jackson is a knave, Alexander is a knave, Aiden is a knight, Abigail is a knight, Zoey is a knight, and Joseph is a knight.

(1) Michael is a knave
(2) Jackson is a knave
(3) Alexander is a knave
(4) Aiden is a knight
(5) Abigail is a knight
(6) Zoey is a knight
(7) Joseph is a knight

Let's think step by step, by considering whether each person is lying and if that leads to contradiction.

Assume Michael is a knight. No contradiction is found in their claim that Zoey is a knave if and only if Jackson is a knave.

Assume Zoey is a knight. No contradiction is found in their claim that Abigail is a knave or Alexander is a knave.

Assume Abigail is a knight. No contradiction is found in their claim that Zoey is not a knave.

Alexander cannot be a knight, because this would contradict the claim of their own that Michael is a knave and Aiden is a knave.

Assume Alexander is a knave. No contradiction is found in their false claim that Michael is a knave and Aiden is a knave.

Assume Aiden is a knight. No contradiction is found in their claim that Joseph is a knight or Zoey is a knave.

Assume Joseph is a knight. No contradiction is found in their claim that If Abigail is a knave then Alexander is a knave.

Jackson cannot be a knight, because this would contradict the claim of their own that Zoey is a knight if and only if Abigail is a knave.

Jackson cannot be a knave, because this would contradict the claim of Michael that Zoey is a knave if and only if Jackson is a knave.

We have exhausted all possibilities for Jackson, so let us go back and reconsider Joseph.

Joseph cannot be a knave, because this would contradict the claim of Aiden that Joseph is a knight or Zoey is a knave.

We have exhausted all possibilities for Joseph, so let us go back and reconsider Aiden.

Assume Aiden is a knave. No contradiction is found in their false claim that Joseph is a knight or Zoey is a knave.

Joseph cannot be a knight, because this would contradict the false claim of Aiden that Joseph is a knight or Zoey is a knave.

Joseph cannot be a knave, because this would contradict the false claim of their own that If Abigail is a knave then Alexander is a knave.

We have exhausted all possibilities for Joseph, Aiden, and Alexander, so let us go back and reconsider Abigail.

Abigail cannot be a knave, because this would contradict the false claim of their own that Zoey is not a knave.

We have exhausted all possibilities for Abigail, so let us go back and reconsider Zoey.

Assume Zoey is a knave. No contradiction is found in their false claim that Abigail is a knave or Alexander is a knave.

Abigail cannot be a knight, because this would contradict the claim of their own that Zoey is not a knave.

Abigail cannot be a knave, because this would contradict the false claim of Zoey that Abigail is a knave or Alexander is a knave.

We have exhausted all possibilities for Abigail and Zoey, so let us go back and reconsider Michael.

Assume Michael is a knave. No contradiction is found in their false claim that Zoey is a knave if and only if Jackson is a knave.

Alexander cannot be a knight, because this would contradict the claim of Zoey that Abigail is a knave or Alexander is a knave.

Jackson cannot be a knight, because this would contradict the false claim of Michael that Zoey is a knave if and only if Jackson is a knave.

Assume Jackson is a knave. No contradiction is found in their false claim that Zoey is a knight if and only if Abigail is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Joseph, Owen, Ethan, Oliver, Logan, Henry, and Daniel. Joseph expressed that Daniel is not a knave. In Owen's words: "Henry is a knave or Ethan is a knave". As Ethan put it, "Henry is a knight". Oliver asserted: "Henry is a knight". Logan remarked, "Ethan is not a knave". Henry commented, "Joseph is not a knave". In a statement by Daniel: "Oliver is a knight or Ethan is a knave". So who is a knight and who is a knave?

Joseph Owen Ethan Oliver Logan Henry Daniel

Joseph is a knight, Owen is a knave, Ethan is a knight, Oliver is a knight, Logan is a knight, Henry is a knight, and Daniel is a knight.

(1) Joseph is a knight
(2) Owen is a knave
(3) Ethan is a knight
(4) Oliver is a knight
(5) Logan is a knight
(6) Henry is a knight
(7) Daniel is a knight

Assume Joseph is a knight. No contradiction is found in their claim that Daniel is not a knave.

Assume Daniel is a knight. No contradiction is found in their claim that Oliver is a knight or Ethan is a knave.

Assume Oliver is a knight. No contradiction is found in their claim that Henry is a knight.

Assume Henry is a knight. No contradiction is found in their claim that Joseph is not a knave.

Assume Ethan is a knight. No contradiction is found in their claim that Henry is a knight.

Owen cannot be a knight, because this would contradict the claim of their own that Henry is a knave or Ethan is a knave.

Assume Owen is a knave. No contradiction is found in their false claim that Henry is a knave or Ethan is a knave.

Assume Logan is a knight. No contradiction is found in their claim that Ethan is not a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Logan, Henry, Jacob, Benjamin, Riley, Scarlett, and Evelyn. Logan expressed that Jacob is a knight or Benjamin is a knight. Henry was heard saying, "Logan is a knight and Riley is a knave". According to Jacob, "Jacob is a knight and Evelyn is a knight". As Benjamin put it, "Jacob is a knave and Evelyn is a knave". Riley said, "Jacob is a knave and Benjamin is a knave." Scarlett said, "Jacob is not a knight." As Evelyn put it, "Scarlett is not a knave". So who is a knight and who is a knave?

Logan Henry Jacob Benjamin Riley Scarlett Evelyn

Logan is a knave, Henry is a knave, Jacob is a knave, Benjamin is a knave, Riley is a knight, Scarlett is a knight, and Evelyn is a knight.

(1) Logan is a knave
(2) Henry is a knave
(3) Jacob is a knave
(4) Benjamin is a knave
(5) Riley is a knight
(6) Scarlett is a knight
(7) Evelyn is a knight

Assume Logan is a knight. No contradiction is found in their claim that Jacob is a knight or Benjamin is a knight.

Assume Jacob is a knight. No contradiction is found in their claim that Jacob is a knight and Evelyn is a knight.

Assume Evelyn is a knight. No contradiction is found in their claim that Scarlett is not a knave.

Scarlett cannot be a knight, because this would contradict the claim of their own that Jacob is not a knight.

Scarlett cannot be a knave, because this would contradict the claim of Evelyn that Scarlett is not a knave.

We have exhausted all possibilities for Scarlett, so let us go back and reconsider Evelyn.

Evelyn cannot be a knave, because this would contradict the claim of Jacob that Jacob is a knight and Evelyn is a knight.

We have exhausted all possibilities for Evelyn, so let us go back and reconsider Jacob.

Assume Jacob is a knave. No contradiction is found in their false claim that Jacob is a knight and Evelyn is a knight.

Assume Scarlett is a knight. No contradiction is found in their claim that Jacob is not a knight.

Benjamin cannot be a knight, because this would contradict the claim of their own that Jacob is a knave and Evelyn is a knave.

Benjamin cannot be a knave, because this would contradict the claim of Logan that Jacob is a knight or Benjamin is a knight.

We have exhausted all possibilities for Benjamin, so let us go back and reconsider Scarlett.

Scarlett cannot be a knave, because this would contradict the false claim of their own that Jacob is not a knight.

Assume Evelyn is a knave. No contradiction is found in their false claim that Scarlett is not a knave.

Scarlett cannot be a knight, because this would contradict the false claim of Evelyn that Scarlett is not a knave.

We have exhausted all possibilities for Scarlett, Evelyn, and Jacob, so let us go back and reconsider Logan.

Assume Logan is a knave. No contradiction is found in their false claim that Jacob is a knight or Benjamin is a knight.

Jacob cannot be a knight, because this would contradict the false claim of Logan that Jacob is a knight or Benjamin is a knight.

Benjamin cannot be a knight, because this would contradict the false claim of Logan that Jacob is a knight or Benjamin is a knight.

Assume Benjamin is a knave. No contradiction is found in their false claim that Jacob is a knave and Evelyn is a knave.

Henry cannot be a knight, because this would contradict the claim of their own that Logan is a knight and Riley is a knave.

Assume Henry is a knave. No contradiction is found in their false claim that Logan is a knight and Riley is a knave.

Assume Riley is a knight. No contradiction is found in their claim that Jacob is a knave and Benjamin is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Victoria, Charlotte, Joseph, Abigail, Evelyn, Benjamin, and Matthew. Victoria told you that If Benjamin is a knight then Matthew is a knight. Charlotte asserted: "If Joseph is a knave then Benjamin is a knave". Joseph told you that Abigail is a knave. Abigail told you that Abigail is a knight or Joseph is a knight. Evelyn told you that Charlotte is a knave. Benjamin stated, "Abigail is a knight if and only if Matthew is a knight". As Matthew put it, "Joseph is a knight and Evelyn is a knave". So who is a knight and who is a knave?

Victoria Charlotte Joseph Abigail Evelyn Benjamin Matthew

Victoria is a knight, Charlotte is a knight, Joseph is a knave, Abigail is a knight, Evelyn is a knave, Benjamin is a knave, and Matthew is a knave.

(1) Victoria is a knight
(2) Charlotte is a knight
(3) Joseph is a knave
(4) Abigail is a knight
(5) Evelyn is a knave
(6) Benjamin is a knave
(7) Matthew is a knave

Assume Victoria is a knight. No contradiction is found in their claim that If Benjamin is a knight then Matthew is a knight.

Assume Benjamin is a knight. No contradiction is found in their claim that Abigail is a knight if and only if Matthew is a knight.

Assume Abigail is a knight. No contradiction is found in their claim that Abigail is a knight or Joseph is a knight.

Joseph cannot be a knight, because this would contradict the claim of their own that Abigail is a knave.

Assume Joseph is a knave. No contradiction is found in their false claim that Abigail is a knave.

Matthew cannot be a knight, because this would contradict the claim of their own that Joseph is a knight and Evelyn is a knave.

Matthew cannot be a knave, because this would contradict the claim of Victoria that If Benjamin is a knight then Matthew is a knight.

We have exhausted all possibilities for Matthew and Joseph, so let us go back and reconsider Abigail.

Assume Abigail is a knave. No contradiction is found in their false claim that Abigail is a knight or Joseph is a knight.

Joseph cannot be a knight, because this would contradict the false claim of Abigail that Abigail is a knight or Joseph is a knight.

Joseph cannot be a knave, because this would contradict the false claim of their own that Abigail is a knave.

We have exhausted all possibilities for Joseph and Abigail, so let us go back and reconsider Benjamin.

Assume Benjamin is a knave. No contradiction is found in their false claim that Abigail is a knight if and only if Matthew is a knight.

Matthew cannot be a knight, because this would contradict the false claim of Benjamin that Abigail is a knight if and only if Matthew is a knight.

Assume Matthew is a knave. No contradiction is found in their false claim that Joseph is a knight and Evelyn is a knave.

Assume Evelyn is a knight. No contradiction is found in their claim that Charlotte is a knave.

Charlotte cannot be a knight, because this would contradict the claim of Evelyn that Charlotte is a knave.

Charlotte cannot be a knave, because this would contradict the false claim of their own that If Joseph is a knave then Benjamin is a knave.

We have exhausted all possibilities for Charlotte, so let us go back and reconsider Evelyn.

Assume Evelyn is a knave. No contradiction is found in their false claim that Charlotte is a knave.

Assume Charlotte is a knight. No contradiction is found in their claim that If Joseph is a knave then Benjamin is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Matthew, Isabella, Emily, Abigail, Penelope, Jacob, and Grace. Matthew commented, "Isabella is a knave if and only if Isabella is a knight". Isabella noted, "Grace is a knave and Isabella is a knight". "Matthew is a knave" - Emily. Abigail commented, "Emily is a knave". Penelope asserted: "If Grace is a knave then Isabella is a knight". "Abigail is a knight if and only if Penelope is a knight" - Jacob. In Grace's words: "Isabella is not a knave". So who is a knight and who is a knave?

Matthew Isabella Emily Abigail Penelope Jacob Grace

Matthew is a knave, Isabella is a knave, Emily is a knight, Abigail is a knave, Penelope is a knave, Jacob is a knight, and Grace is a knave.

(1) Matthew is a knave
(2) Isabella is a knave
(3) Emily is a knight
(4) Abigail is a knave
(5) Penelope is a knave
(6) Jacob is a knight
(7) Grace is a knave

Matthew cannot be a knight, because this would contradict the claim of their own that Isabella is a knave if and only if Isabella is a knight.

Assume Matthew is a knave. No contradiction is found in their false claim that Isabella is a knave if and only if Isabella is a knight.

Assume Isabella is a knight. No contradiction is found in their claim that Grace is a knave and Isabella is a knight.

Grace cannot be a knight, because this would contradict the claim of Isabella that Grace is a knave and Isabella is a knight.

Grace cannot be a knave, because this would contradict the false claim of their own that Isabella is not a knave.

We have exhausted all possibilities for Grace, so let us go back and reconsider Isabella.

Assume Isabella is a knave. No contradiction is found in their false claim that Grace is a knave and Isabella is a knight.

Grace cannot be a knight, because this would contradict the claim of their own that Isabella is not a knave.

Assume Grace is a knave. No contradiction is found in their false claim that Isabella is not a knave.

Assume Emily is a knight. No contradiction is found in their claim that Matthew is a knave.

Abigail cannot be a knight, because this would contradict the claim of their own that Emily is a knave.

Assume Abigail is a knave. No contradiction is found in their false claim that Emily is a knave.

Penelope cannot be a knight, because this would contradict the claim of their own that If Grace is a knave then Isabella is a knight.

Assume Penelope is a knave. No contradiction is found in their false claim that If Grace is a knave then Isabella is a knight.

Assume Jacob is a knight. No contradiction is found in their claim that Abigail is a knight if and only if Penelope is a knight.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Oliver, Samuel, Scarlett, James, Mason, Daniel, and Aiden. "Daniel is not a knight," Oliver mentioned. "Mason is a knave if and only if Aiden is a knave," Samuel claimed. In a statement by Scarlett: "Oliver is not a knave". James expressed that Oliver is a knave and Scarlett is a knave. "If Daniel is a knight then James is a knight" - Mason. "Aiden is not a knave" - Daniel. Aiden commented, "Samuel is a knight and Daniel is a knave". So who is a knight and who is a knave?

Oliver Samuel Scarlett James Mason Daniel Aiden

Oliver is a knight, Samuel is a knave, Scarlett is a knight, James is a knave, Mason is a knight, Daniel is a knave, and Aiden is a knave.

(1) Oliver is a knight
(2) Samuel is a knave
(3) Scarlett is a knight
(4) James is a knave
(5) Mason is a knight
(6) Daniel is a knave
(7) Aiden is a knave

Assume Oliver is a knight. No contradiction is found in their claim that Daniel is not a knight.

Daniel cannot be a knight, because this would contradict the claim of Oliver that Daniel is not a knight.

Assume Daniel is a knave. No contradiction is found in their false claim that Aiden is not a knave.

Aiden cannot be a knight, because this would contradict the false claim of Daniel that Aiden is not a knave.

Assume Aiden is a knave. No contradiction is found in their false claim that Samuel is a knight and Daniel is a knave.

Samuel cannot be a knight, because this would contradict the false claim of Aiden that Samuel is a knight and Daniel is a knave.

Assume Samuel is a knave. No contradiction is found in their false claim that Mason is a knave if and only if Aiden is a knave.

Assume Mason is a knight. No contradiction is found in their claim that If Daniel is a knight then James is a knight.

James cannot be a knight, because this would contradict the claim of their own that Oliver is a knave and Scarlett is a knave.

Assume James is a knave. No contradiction is found in their false claim that Oliver is a knave and Scarlett is a knave.

Assume Scarlett is a knight. No contradiction is found in their claim that Oliver is not a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Zoey, Sebastian, Jack, Mason, Lucas, Logan, and Elizabeth. Zoey expressed that Logan is not a knave. Sebastian commented, "Logan is not a knight". Jack noted, "Logan is a knight and Lucas is a knave". "If Zoey is a knave then Elizabeth is a knight" - Mason. Lucas commented, "Elizabeth is a knight and Lucas is a knight". Logan commented, "If Jack is a knight then Lucas is a knight". Elizabeth remarked, "Mason is a knight or Jack is a knight". So who is a knight and who is a knave?

Zoey Sebastian Jack Mason Lucas Logan Elizabeth

Zoey is a knight, Sebastian is a knave, Jack is a knave, Mason is a knight, Lucas is a knight, Logan is a knight, and Elizabeth is a knight.

(1) Zoey is a knight
(2) Sebastian is a knave
(3) Jack is a knave
(4) Mason is a knight
(5) Lucas is a knight
(6) Logan is a knight
(7) Elizabeth is a knight

Assume Zoey is a knight. No contradiction is found in their claim that Logan is not a knave.

Assume Logan is a knight. No contradiction is found in their claim that If Jack is a knight then Lucas is a knight.

Assume Jack is a knight. No contradiction is found in their claim that Logan is a knight and Lucas is a knave.

Lucas cannot be a knight, because this would contradict the claim of Jack that Logan is a knight and Lucas is a knave.

Lucas cannot be a knave, because this would contradict the claim of Logan that If Jack is a knight then Lucas is a knight.

We have exhausted all possibilities for Lucas, so let us go back and reconsider Jack.

Assume Jack is a knave. No contradiction is found in their false claim that Logan is a knight and Lucas is a knave.

Assume Lucas is a knight. No contradiction is found in their claim that Elizabeth is a knight and Lucas is a knight.

Assume Elizabeth is a knight. No contradiction is found in their claim that Mason is a knight or Jack is a knight.

Assume Mason is a knight. No contradiction is found in their claim that If Zoey is a knave then Elizabeth is a knight.

Sebastian cannot be a knight, because this would contradict the claim of their own that Logan is not a knight.

Assume Sebastian is a knave. No contradiction is found in their false claim that Logan is not a knight.

(('not', ('lying', 5)), ('not', ('telling-truth', 5)), ('and', ('telling-truth', 5), ('lying', 4)), ('->', ('lying', 0), ('telling-truth', 6)), ('and', ('telling-truth', 6), ('telling-truth', 4)), ('->', ('telling-truth', 2), ('telling-truth', 4)), ('or', ('telling-truth', 3), ('telling-truth', 2)))


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Ethan, David, Logan, Olivia, Benjamin, Riley, and William. Ethan said that Riley is a knave. David was heard saying, "Riley is a knight if and only if Olivia is a knight". Logan noted, "If Riley is a knave then Benjamin is a knave". "Benjamin is not a knave," Olivia declared. In a statement by Benjamin: "If Logan is a knave then Riley is a knave". Riley asserted: "Riley is a knight if and only if William is a knight". William was heard saying, "Ethan is a knight if and only if William is a knight". So who is a knight and who is a knave?

Ethan David Logan Olivia Benjamin Riley William

Ethan is a knight, David is a knave, Logan is a knave, Olivia is a knight, Benjamin is a knight, Riley is a knave, and William is a knight.

(1) Ethan is a knight
(2) David is a knave
(3) Logan is a knave
(4) Olivia is a knight
(5) Benjamin is a knight
(6) Riley is a knave
(7) William is a knight

Assume Ethan is a knight. No contradiction is found in their claim that Riley is a knave.

Riley cannot be a knight, because this would contradict the claim of Ethan that Riley is a knave.

Assume Riley is a knave. No contradiction is found in their false claim that Riley is a knight if and only if William is a knight.

Assume William is a knight. No contradiction is found in their claim that Ethan is a knight if and only if William is a knight.

Assume David is a knight. No contradiction is found in their claim that Riley is a knight if and only if Olivia is a knight.

Olivia cannot be a knight, because this would contradict the claim of David that Riley is a knight if and only if Olivia is a knight.

Assume Olivia is a knave. No contradiction is found in their false claim that Benjamin is not a knave.

Benjamin cannot be a knight, because this would contradict the false claim of Olivia that Benjamin is not a knave.

Benjamin cannot be a knave, because this would contradict the false claim of their own that If Logan is a knave then Riley is a knave.

We have exhausted all possibilities for Benjamin and Olivia, so let us go back and reconsider David.

Assume David is a knave. No contradiction is found in their false claim that Riley is a knight if and only if Olivia is a knight.

Assume Olivia is a knight. No contradiction is found in their claim that Benjamin is not a knave.

Assume Benjamin is a knight. No contradiction is found in their claim that If Logan is a knave then Riley is a knave.

Logan cannot be a knight, because this would contradict the claim of their own that If Riley is a knave then Benjamin is a knave.

Assume Logan is a knave. No contradiction is found in their false claim that If Riley is a knave then Benjamin is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Alexander, Oliver, Penelope, Aurora, Matthew, David, and Ava. Alexander said that Alexander is a knight or Ava is a knight. Oliver asserted: "Matthew is a knave if and only if Matthew is a knight". Penelope stated, "If Ava is a knight then David is a knight". "Oliver is a knight," Aurora mentioned. Matthew told you that If Alexander is a knave then Aurora is a knave. In a statement by David: "If Penelope is a knave then Penelope is a knight". In a statement by Ava: "David is a knight". So who is a knight and who is a knave?

Alexander Oliver Penelope Aurora Matthew David Ava

Alexander is a knight, Oliver is a knave, Penelope is a knight, Aurora is a knave, Matthew is a knight, David is a knight, and Ava is a knight.

(1) Alexander is a knight
(2) Oliver is a knave
(3) Penelope is a knight
(4) Aurora is a knave
(5) Matthew is a knight
(6) David is a knight
(7) Ava is a knight

Assume Alexander is a knight. No contradiction is found in their claim that Alexander is a knight or Ava is a knight.

Assume Ava is a knight. No contradiction is found in their claim that David is a knight.

Assume David is a knight. No contradiction is found in their claim that If Penelope is a knave then Penelope is a knight.

Assume Penelope is a knight. No contradiction is found in their claim that If Ava is a knight then David is a knight.

Oliver cannot be a knight, because this would contradict the claim of their own that Matthew is a knave if and only if Matthew is a knight.

Assume Oliver is a knave. No contradiction is found in their false claim that Matthew is a knave if and only if Matthew is a knight.

Assume Matthew is a knight. No contradiction is found in their claim that If Alexander is a knave then Aurora is a knave.

Aurora cannot be a knight, because this would contradict the claim of their own that Oliver is a knight.

Assume Aurora is a knave. No contradiction is found in their false claim that Oliver is a knight.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Jackson, Aria, Chloe, Sophia, Ethan, Joseph, and Sebastian. "If Ethan is a knave then Sophia is a knave," Jackson declared. Aria asserted: "Jackson is a knave if and only if Sebastian is a knave". Chloe remarked, "Sophia is a knave or Sebastian is a knave". Sophia asserted: "Aria is a knave if and only if Sophia is a knight". "Sebastian is a knight and Chloe is a knight," Ethan mentioned. "If Ethan is a knave then Aria is a knight," Joseph declared. Sebastian expressed that Ethan is a knight. So who is a knight and who is a knave?

Jackson Aria Chloe Sophia Ethan Joseph Sebastian

Jackson is a knight, Aria is a knave, Chloe is a knight, Sophia is a knave, Ethan is a knave, Joseph is a knave, and Sebastian is a knave.

(1) Jackson is a knight
(2) Aria is a knave
(3) Chloe is a knight
(4) Sophia is a knave
(5) Ethan is a knave
(6) Joseph is a knave
(7) Sebastian is a knave

Assume Jackson is a knight. No contradiction is found in their claim that If Ethan is a knave then Sophia is a knave.

Assume Ethan is a knight. No contradiction is found in their claim that Sebastian is a knight and Chloe is a knight.

Assume Sebastian is a knight. No contradiction is found in their claim that Ethan is a knight.

Assume Chloe is a knight. No contradiction is found in their claim that Sophia is a knave or Sebastian is a knave.

Sophia cannot be a knight, because this would contradict the claim of Chloe that Sophia is a knave or Sebastian is a knave.

Assume Sophia is a knave. No contradiction is found in their false claim that Aria is a knave if and only if Sophia is a knight.

Aria cannot be a knight, because this would contradict the false claim of Sophia that Aria is a knave if and only if Sophia is a knight.

Aria cannot be a knave, because this would contradict the false claim of their own that Jackson is a knave if and only if Sebastian is a knave.

We have exhausted all possibilities for Aria and Sophia, so let us go back and reconsider Chloe.

Chloe cannot be a knave, because this would contradict the claim of Ethan that Sebastian is a knight and Chloe is a knight.

We have exhausted all possibilities for Chloe, so let us go back and reconsider Sebastian.

Sebastian cannot be a knave, because this would contradict the claim of Ethan that Sebastian is a knight and Chloe is a knight.

We have exhausted all possibilities for Sebastian, so let us go back and reconsider Ethan.

Assume Ethan is a knave. No contradiction is found in their false claim that Sebastian is a knight and Chloe is a knight.

Sebastian cannot be a knight, because this would contradict the claim of their own that Ethan is a knight.

Assume Sebastian is a knave. No contradiction is found in their false claim that Ethan is a knight.

Sophia cannot be a knight, because this would contradict the claim of Jackson that If Ethan is a knave then Sophia is a knave.

Aria cannot be a knight, because this would contradict the claim of their own that Jackson is a knave if and only if Sebastian is a knave.

Assume Aria is a knave. No contradiction is found in their false claim that Jackson is a knave if and only if Sebastian is a knave.

Joseph cannot be a knight, because this would contradict the claim of their own that If Ethan is a knave then Aria is a knight.

Assume Joseph is a knave. No contradiction is found in their false claim that If Ethan is a knave then Aria is a knight.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: David, Lily, Penelope, Joseph, Samuel, Benjamin, and James. David noted, "Joseph is not a knight". Lily said that Lily is a knight and David is a knave. "James is a knight and Benjamin is a knave," Penelope declared. Joseph told you that Joseph is a knight if and only if James is a knight. "Lily is a knight and Samuel is a knight," Samuel claimed. Benjamin commented, "Lily is a knight and David is a knight". James said, "Samuel is not a knave." So who is a knight and who is a knave?

David Lily Penelope Joseph Samuel Benjamin James

David is a knave, Lily is a knight, Penelope is a knight, Joseph is a knight, Samuel is a knight, Benjamin is a knave, and James is a knight.

(1) David is a knave
(2) Lily is a knight
(3) Penelope is a knight
(4) Joseph is a knight
(5) Samuel is a knight
(6) Benjamin is a knave
(7) James is a knight

Assume David is a knight. No contradiction is found in their claim that Joseph is not a knight.

Joseph cannot be a knight, because this would contradict the claim of David that Joseph is not a knight.

Assume Joseph is a knave. No contradiction is found in their false claim that Joseph is a knight if and only if James is a knight.

Assume James is a knight. No contradiction is found in their claim that Samuel is not a knave.

Assume Samuel is a knight. No contradiction is found in their claim that Lily is a knight and Samuel is a knight.

Lily cannot be a knight, because this would contradict the claim of their own that Lily is a knight and David is a knave.

Lily cannot be a knave, because this would contradict the claim of Samuel that Lily is a knight and Samuel is a knight.

We have exhausted all possibilities for Lily, so let us go back and reconsider Samuel.

Samuel cannot be a knave, because this would contradict the claim of James that Samuel is not a knave.

We have exhausted all possibilities for Samuel, so let us go back and reconsider James.

James cannot be a knave, because this would contradict the false claim of Joseph that Joseph is a knight if and only if James is a knight.

We have exhausted all possibilities for James and Joseph, so let us go back and reconsider David.

Assume David is a knave. No contradiction is found in their false claim that Joseph is not a knight.

Assume Joseph is a knight. No contradiction is found in their claim that Joseph is a knight if and only if James is a knight.

Assume Lily is a knight. No contradiction is found in their claim that Lily is a knight and David is a knave.

Assume Penelope is a knight. No contradiction is found in their claim that James is a knight and Benjamin is a knave.

Benjamin cannot be a knight, because this would contradict the claim of Penelope that James is a knight and Benjamin is a knave.

Assume Benjamin is a knave. No contradiction is found in their false claim that Lily is a knight and David is a knight.

(('not', ('telling-truth', 3)), ('and', ('telling-truth', 1), ('lying', 0)), ('and', ('telling-truth', 6), ('lying', 5)), ('<=>', ('telling-truth', 3), ('telling-truth', 6)), ('and', ('telling-truth', 1), ('telling-truth', 4)), ('and', ('telling-truth', 1), ('telling-truth', 0)), ('not', ('lying', 4)))


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Chloe, Sofia, Henry, Avery, James, Owen, and Liam. According to Chloe, "Owen is a knight and Owen is a knave". Sofia was heard saying, "James is a knave". Henry remarked, "Henry is a knight or Sofia is a knight". According to Avery, "If Sofia is a knight then Henry is a knave". James asserted: "Avery is a knave and Avery is a knight". Owen asserted: "Avery is a knight and Henry is a knight". Liam asserted: "James is not a knight". So who is a knight and who is a knave?

Chloe is a knave, Sofia is a knight, Henry is a knight, Avery is a knave, James is a knave, Owen is a knave, and Liam is a knight.

(1) Chloe is a knave
(2) Sofia is a knight
(3) Henry is a knight
(4) Avery is a knave
(5) James is a knave
(6) Owen is a knave
(7) Liam is a knight

Chloe cannot be a knight, because this would contradict the claim of their own that Owen is a knight and Owen is a knave.

Assume Chloe is a knave. No contradiction is found in their false claim that Owen is a knight and Owen is a knave.

Assume Owen is a knight. No contradiction is found in their claim that Avery is a knight and Henry is a knight.

Assume Avery is a knight. No contradiction is found in their claim that If Sofia is a knight then Henry is a knave.

Assume Sofia is a knight. No contradiction is found in their claim that James is a knave.

James cannot be a knight, because this would contradict the claim of Sofia that James is a knave.

Assume James is a knave. No contradiction is found in their false claim that Avery is a knave and Avery is a knight.

Henry cannot be a knight, because this would contradict the claim of Avery that If Sofia is a knight then Henry is a knave.

Henry cannot be a knave, because this would contradict the false claim of their own that Henry is a knight or Sofia is a knight.

We have exhausted all possibilities for Henry and James, so let us go back and reconsider Sofia.

Assume Sofia is a knave. No contradiction is found in their false claim that James is a knave.

James cannot be a knight, because this would contradict the claim of their own that Avery is a knave and Avery is a knight.

James cannot be a knave, because this would contradict the false claim of Sofia that James is a knave.

We have exhausted all possibilities for James and Sofia, so let us go back and reconsider Avery.

Avery cannot be a knave, because this would contradict the claim of Owen that Avery is a knight and Henry is a knight.

We have exhausted all possibilities for Avery, so let us go back and reconsider Owen.

Assume Owen is a knave. No contradiction is found in their false claim that Avery is a knight and Henry is a knight.

Assume Avery is a knave. No contradiction is found in their false claim that If Sofia is a knight then Henry is a knave.

Assume Henry is a knight. No contradiction is found in their claim that Henry is a knight or Sofia is a knight.

Assume Liam is a knight. No contradiction is found in their claim that James is not a knight.

(('and', ('telling-truth', 5), ('lying', 5)), ('lying', 4), ('or', ('telling-truth', 2), ('telling-truth', 1)), ('->', ('telling-truth', 1), ('lying', 2)), ('and', ('lying', 3), ('telling-truth', 3)), ('and', ('telling-truth', 3), ('telling-truth', 2)), ('not', ('telling-truth', 4)))


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Henry, Ella, Penelope, Joseph, Jack, Liam, and Oliver. "Oliver is a knight and Jack is a knight," Henry claimed. In Ella's words: "Henry is a knight and Oliver is a knight". Penelope expressed that Jack is a knave or Henry is a knight. Joseph was heard saying, "Jack is a knave and Oliver is a knave". Jack expressed that Oliver is a knave if and only if Jack is a knight. Liam said that If Liam is a knight then Oliver is a knave. Oliver remarked, "Joseph is a knave". So who is a knight and who is a knave?

Henry Ella Penelope Joseph Jack Liam Oliver

Henry is a knave, Ella is a knave, Penelope is a knight, Joseph is a knight, Jack is a knave, Liam is a knight, and Oliver is a knave.

(1) Henry is a knave
(2) Ella is a knave
(3) Penelope is a knight
(4) Joseph is a knight
(5) Jack is a knave
(6) Liam is a knight
(7) Oliver is a knave

Assume Henry is a knight. No contradiction is found in their claim that Oliver is a knight and Jack is a knight.

Assume Oliver is a knight. No contradiction is found in their claim that Joseph is a knave.

Joseph cannot be a knight, because this would contradict the claim of their own that Jack is a knave and Oliver is a knave.

Assume Joseph is a knave. No contradiction is found in their false claim that Jack is a knave and Oliver is a knave.

Jack cannot be a knight, because this would contradict the claim of their own that Oliver is a knave if and only if Jack is a knight.

Jack cannot be a knave, because this would contradict the claim of Henry that Oliver is a knight and Jack is a knight.

We have exhausted all possibilities for Jack and Joseph, so let us go back and reconsider Oliver.

Oliver cannot be a knave, because this would contradict the claim of Henry that Oliver is a knight and Jack is a knight.

We have exhausted all possibilities for Oliver, so let us go back and reconsider Henry.

Assume Henry is a knave. No contradiction is found in their false claim that Oliver is a knight and Jack is a knight.

Jack cannot be a knight, because this would contradict the false claim of Henry that Oliver is a knight and Jack is a knight.

Jack cannot be a knave, because this would contradict the false claim of their own that Oliver is a knave if and only if Jack is a knight.

Assume Oliver is a knave. No contradiction is found in their false claim that Joseph is a knave.

Assume Joseph is a knight. No contradiction is found in their claim that Jack is a knave and Oliver is a knave.

Jack cannot be a knight, because this would contradict the claim of Joseph that Jack is a knave and Oliver is a knave.

Assume Jack is a knave. No contradiction is found in their false claim that Oliver is a knave if and only if Jack is a knight.

Ella cannot be a knight, because this would contradict the claim of their own that Henry is a knight and Oliver is a knight.

Assume Ella is a knave. No contradiction is found in their false claim that Henry is a knight and Oliver is a knight.

Assume Penelope is a knight. No contradiction is found in their claim that Jack is a knave or Henry is a knight.

Assume Liam is a knight. No contradiction is found in their claim that If Liam is a knight then Oliver is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Zoey, Ella, Aurora, Noah, Daniel, Grace, and Emma. Zoey said, "Daniel is a knight and Noah is a knave." "Emma is a knight or Noah is a knave" - Ella. Aurora stated, "Noah is a knight". "Grace is a knave and Daniel is a knave," Noah claimed. Daniel stated, "Ella is not a knave". Grace said that Ella is not a knave. "Grace is a knave if and only if Daniel is a knave" - Emma. So who is a knight and who is a knave?

Zoey is a knight, Ella is a knight, Aurora is a knave, Noah is a knave, Daniel is a knight, Grace is a knight, and Emma is a knight.

(1) Zoey is a knight
(2) Ella is a knight
(3) Aurora is a knave
(4) Noah is a knave
(5) Daniel is a knight
(6) Grace is a knight
(7) Emma is a knight

Assume Zoey is a knight. No contradiction is found in their claim that Daniel is a knight and Noah is a knave.

Assume Daniel is a knight. No contradiction is found in their claim that Ella is not a knave.

Assume Ella is a knight. No contradiction is found in their claim that Emma is a knight or Noah is a knave.

Assume Emma is a knight. No contradiction is found in their claim that Grace is a knave if and only if Daniel is a knave.

Assume Grace is a knight. No contradiction is found in their claim that Ella is not a knave.

Noah cannot be a knight, because this would contradict the claim of Zoey that Daniel is a knight and Noah is a knave.

Assume Noah is a knave. No contradiction is found in their false claim that Grace is a knave and Daniel is a knave.

Aurora cannot be a knight, because this would contradict the claim of their own that Noah is a knight.

Assume Aurora is a knave. No contradiction is found in their false claim that Noah is a knight.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Matthew, Daniel, Ethan, Mason, Luke, Jackson, and Riley. According to Matthew, "Matthew is a knight or Ethan is a knave". As Daniel put it, "Riley is a knave if and only if Jackson is a knight". Ethan commented, "Mason is a knave and Mason is a knight". "Daniel is a knave and Jackson is a knight," Mason mentioned. According to Luke, "If Ethan is a knave then Mason is a knave". "Riley is a knight or Daniel is a knave" - Jackson. In a statement by Riley: "Jackson is a knight or Mason is a knight". So who is a knight and who is a knave?

Matthew Daniel Ethan Mason Luke Jackson Riley

Matthew is a knight, Daniel is a knave, Ethan is a knave, Mason is a knight, Luke is a knave, Jackson is a knight, and Riley is a knight.

(1) Matthew is a knight
(2) Daniel is a knave
(3) Ethan is a knave
(4) Mason is a knight
(5) Luke is a knave
(6) Jackson is a knight
(7) Riley is a knight

Assume Matthew is a knight. No contradiction is found in their claim that Matthew is a knight or Ethan is a knave.

Ethan cannot be a knight, because this would contradict the claim of their own that Mason is a knave and Mason is a knight.

Assume Ethan is a knave. No contradiction is found in their false claim that Mason is a knave and Mason is a knight.

Assume Mason is a knight. No contradiction is found in their claim that Daniel is a knave and Jackson is a knight.

Daniel cannot be a knight, because this would contradict the claim of Mason that Daniel is a knave and Jackson is a knight.

Assume Daniel is a knave. No contradiction is found in their false claim that Riley is a knave if and only if Jackson is a knight.

Assume Riley is a knight. No contradiction is found in their claim that Jackson is a knight or Mason is a knight.

Assume Jackson is a knight. No contradiction is found in their claim that Riley is a knight or Daniel is a knave.

Luke cannot be a knight, because this would contradict the claim of their own that If Ethan is a knave then Mason is a knave.

Assume Luke is a knave. No contradiction is found in their false claim that If Ethan is a knave then Mason is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Avery, Owen, William, Olivia, Charlotte, Henry, and Sofia. Avery expressed that If Henry is a knight then Charlotte is a knight. Owen asserted: "William is not a knight". In a statement by William: "Sofia is a knave or Sofia is a knight". Olivia told you that Sofia is a knave if and only if Owen is a knave. In Charlotte's words: "Sofia is a knave and Olivia is a knave". In Henry's words: "Olivia is a knight if and only if Owen is a knight". Sofia stated, "Henry is a knight or Owen is a knave". So who is a knight and who is a knave?

Avery Owen William Olivia Charlotte Henry Sofia

Avery is a knave, Owen is a knave, William is a knight, Olivia is a knave, Charlotte is a knave, Henry is a knight, and Sofia is a knight.

(1) Avery is a knave
(2) Owen is a knave
(3) William is a knight
(4) Olivia is a knave
(5) Charlotte is a knave
(6) Henry is a knight
(7) Sofia is a knight

Assume Avery is a knight. No contradiction is found in their claim that If Henry is a knight then Charlotte is a knight.

Assume Henry is a knight. No contradiction is found in their claim that Olivia is a knight if and only if Owen is a knight.

Assume Olivia is a knight. No contradiction is found in their claim that Sofia is a knave if and only if Owen is a knave.

Assume Sofia is a knight. No contradiction is found in their claim that Henry is a knight or Owen is a knave.

Assume Owen is a knight. No contradiction is found in their claim that William is not a knight.

William cannot be a knight, because this would contradict the claim of Owen that William is not a knight.

William cannot be a knave, because this would contradict the false claim of their own that Sofia is a knave or Sofia is a knight.

We have exhausted all possibilities for William, so let us go back and reconsider Owen.

Owen cannot be a knave, because this would contradict the claim of Olivia that Sofia is a knave if and only if Owen is a knave.

We have exhausted all possibilities for Owen, so let us go back and reconsider Sofia.

Sofia cannot be a knave, because this would contradict the false claim of their own that Henry is a knight or Owen is a knave.

We have exhausted all possibilities for Sofia, so let us go back and reconsider Olivia.

Assume Olivia is a knave. No contradiction is found in their false claim that Sofia is a knave if and only if Owen is a knave.

Owen cannot be a knight, because this would contradict the false claim of Olivia that Sofia is a knave if and only if Owen is a knave.

Assume Owen is a knave. No contradiction is found in their false claim that William is not a knight.

Assume William is a knight. No contradiction is found in their claim that Sofia is a knave or Sofia is a knight.

Charlotte cannot be a knight, because this would contradict the claim of their own that Sofia is a knave and Olivia is a knave.

Charlotte cannot be a knave, because this would contradict the claim of Avery that If Henry is a knight then Charlotte is a knight.

We have exhausted all possibilities for Charlotte, so let us go back and reconsider William.

William cannot be a knave, because this would contradict the false claim of Owen that William is not a knight.

We have exhausted all possibilities for William and Owen, so let us go back and reconsider Sofia.

We have exhausted all possibilities for Sofia and Olivia, so let us go back and reconsider Henry.

Assume Henry is a knave. No contradiction is found in their false claim that Olivia is a knight if and only if Owen is a knight.

Owen cannot be a knight, because this would contradict the false claim of Henry that Olivia is a knight if and only if Owen is a knight.

Assume Sofia is a knave. No contradiction is found in their false claim that Henry is a knight or Owen is a knave.

Owen cannot be a knight, because this would contradict the claim of Olivia that Sofia is a knave if and only if Owen is a knave.

Owen cannot be a knave, because this would contradict the false claim of Sofia that Henry is a knight or Owen is a knave.

We have exhausted all possibilities for Owen and Sofia, so let us go back and reconsider Olivia.

Owen cannot be a knave, because this would contradict the false claim of Henry that Olivia is a knight if and only if Owen is a knight.

Owen cannot be a knave, because this would contradict the false claim of Olivia that Sofia is a knave if and only if Owen is a knave.

We have exhausted all possibilities for Owen, Sofia, Olivia, and Henry, so let us go back and reconsider Avery.

Assume Avery is a knave. No contradiction is found in their false claim that If Henry is a knight then Charlotte is a knight.

Charlotte cannot be a knight, because this would contradict the false claim of Avery that If Henry is a knight then Charlotte is a knight.

Assume Charlotte is a knave. No contradiction is found in their false claim that Sofia is a knave and Olivia is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Evelyn, Penelope, Jack, Alexander, Charlotte, Logan, and Sophia. "Alexander is a knight or Sophia is a knight," Evelyn mentioned. In Penelope's words: "Jack is a knave if and only if Sophia is a knight". As Jack put it, "Penelope is a knight if and only if Alexander is a knight". Alexander expressed that Jack is a knight. Charlotte commented, "Logan is a knight". Logan remarked, "Alexander is a knave". Sophia asserted: "Evelyn is a knave or Evelyn is a knight". So who is a knight and who is a knave?

Evelyn Penelope Jack Alexander Charlotte Logan Sophia

Evelyn is a knight, Penelope is a knight, Jack is a knave, Alexander is a knave, Charlotte is a knight, Logan is a knight, and Sophia is a knight.

(1) Evelyn is a knight
(2) Penelope is a knight
(3) Jack is a knave
(4) Alexander is a knave
(5) Charlotte is a knight
(6) Logan is a knight
(7) Sophia is a knight

Assume Evelyn is a knight. No contradiction is found in their claim that Alexander is a knight or Sophia is a knight.

Assume Alexander is a knight. No contradiction is found in their claim that Jack is a knight.

Assume Jack is a knight. No contradiction is found in their claim that Penelope is a knight if and only if Alexander is a knight.

Assume Penelope is a knight. No contradiction is found in their claim that Jack is a knave if and only if Sophia is a knight.

Sophia cannot be a knight, because this would contradict the claim of Penelope that Jack is a knave if and only if Sophia is a knight.

Sophia cannot be a knave, because this would contradict the false claim of their own that Evelyn is a knave or Evelyn is a knight.

We have exhausted all possibilities for Sophia, so let us go back and reconsider Penelope.

Penelope cannot be a knave, because this would contradict the claim of Jack that Penelope is a knight if and only if Alexander is a knight.

We have exhausted all possibilities for Penelope, so let us go back and reconsider Jack.

Jack cannot be a knave, because this would contradict the claim of Alexander that Jack is a knight.

We have exhausted all possibilities for Jack, so let us go back and reconsider Alexander.

Assume Alexander is a knave. No contradiction is found in their false claim that Jack is a knight.

Jack cannot be a knight, because this would contradict the false claim of Alexander that Jack is a knight.

Assume Jack is a knave. No contradiction is found in their false claim that Penelope is a knight if and only if Alexander is a knight.

Assume Sophia is a knight. No contradiction is found in their claim that Evelyn is a knave or Evelyn is a knight.

Assume Charlotte is a knight. No contradiction is found in their claim that Logan is a knight.

Assume Logan is a knight. No contradiction is found in their claim that Alexander is a knave.

(('or', ('telling-truth', 3), ('telling-truth', 6)), ('<=>', ('lying', 2), ('telling-truth', 6)), ('<=>', ('telling-truth', 1), ('telling-truth', 3)), ('telling-truth', 2), ('telling-truth', 5), ('lying', 3), ('or', ('lying', 0), ('telling-truth', 0)))


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Emily, Riley, Jack, Victoria, Liam, Amelia, and Avery. As Emily put it, "Victoria is a knave if and only if Emily is a knight". Riley said that Emily is not a knave. Jack asserted: "Emily is a knight and Riley is a knave". Victoria said that Victoria is a knight or Emily is a knight. Liam asserted: "Avery is a knight if and only if Amelia is a knight". As Amelia put it, "Jack is a knight and Liam is a knave". "Amelia is a knight if and only if Riley is a knight" - Avery. So who is a knight and who is a knave?

Emily Riley Jack Victoria Liam Amelia Avery

Emily is a knave, Riley is a knave, Jack is a knave, Victoria is a knave, Liam is a knave, Amelia is a knave, and Avery is a knight.

(1) Emily is a knave
(2) Riley is a knave
(3) Jack is a knave
(4) Victoria is a knave
(5) Liam is a knave
(6) Amelia is a knave
(7) Avery is a knight

Assume Emily is a knight. No contradiction is found in their claim that Victoria is a knave if and only if Emily is a knight.

Victoria cannot be a knight, because this would contradict the claim of Emily that Victoria is a knave if and only if Emily is a knight.

Victoria cannot be a knave, because this would contradict the false claim of their own that Victoria is a knight or Emily is a knight.

We have exhausted all possibilities for Victoria, so let us go back and reconsider Emily.

Assume Emily is a knave. No contradiction is found in their false claim that Victoria is a knave if and only if Emily is a knight.

Victoria cannot be a knight, because this would contradict the false claim of Emily that Victoria is a knave if and only if Emily is a knight.

Assume Victoria is a knave. No contradiction is found in their false claim that Victoria is a knight or Emily is a knight.

Riley cannot be a knight, because this would contradict the claim of their own that Emily is not a knave.

Assume Riley is a knave. No contradiction is found in their false claim that Emily is not a knave.

Jack cannot be a knight, because this would contradict the claim of their own that Emily is a knight and Riley is a knave.

Assume Jack is a knave. No contradiction is found in their false claim that Emily is a knight and Riley is a knave.

Assume Liam is a knight. No contradiction is found in their claim that Avery is a knight if and only if Amelia is a knight.

Assume Avery is a knight. No contradiction is found in their claim that Amelia is a knight if and only if Riley is a knight.

Amelia cannot be a knight, because this would contradict the claim of their own that Jack is a knight and Liam is a knave.

Amelia cannot be a knave, because this would contradict the claim of Liam that Avery is a knight if and only if Amelia is a knight.

We have exhausted all possibilities for Amelia, so let us go back and reconsider Avery.

Assume Avery is a knave. No contradiction is found in their false claim that Amelia is a knight if and only if Riley is a knight.

Amelia cannot be a knight, because this would contradict the claim of Liam that Avery is a knight if and only if Amelia is a knight.

Amelia cannot be a knave, because this would contradict the false claim of Avery that Amelia is a knight if and only if Riley is a knight.

We have exhausted all possibilities for Amelia and Avery, so let us go back and reconsider Liam.

Assume Liam is a knave. No contradiction is found in their false claim that Avery is a knight if and only if Amelia is a knight.

Amelia cannot be a knight, because this would contradict the false claim of Liam that Avery is a knight if and only if Amelia is a knight.

Assume Amelia is a knave. No contradiction is found in their false claim that Jack is a knight and Liam is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Daniel, Lily, Jackson, Luke, Ethan, William, and Samuel. "Samuel is a knight or Luke is a knave," Daniel declared. Lily noted, "Lily is a knight if and only if Ethan is a knight". Jackson said that Daniel is a knight and Samuel is a knight. In a statement by Luke: "Lily is not a knight". Ethan told you that Daniel is a knave or Samuel is a knave. William asserted: "Jackson is a knave". "Luke is a knave or Daniel is a knight," Samuel claimed. So who is a knight and who is a knave?

Daniel Lily Jackson Luke Ethan William Samuel

Daniel is a knave, Lily is a knave, Jackson is a knave, Luke is a knight, Ethan is a knight, William is a knight, and Samuel is a knave.

(1) Daniel is a knave
(2) Lily is a knave
(3) Jackson is a knave
(4) Luke is a knight
(5) Ethan is a knight
(6) William is a knight
(7) Samuel is a knave

Assume Daniel is a knight. No contradiction is found in their claim that Samuel is a knight or Luke is a knave.

Assume Samuel is a knight. No contradiction is found in their claim that Luke is a knave or Daniel is a knight.

Assume Luke is a knight. No contradiction is found in their claim that Lily is not a knight.

Lily cannot be a knight, because this would contradict the claim of Luke that Lily is not a knight.

Assume Lily is a knave. No contradiction is found in their false claim that Lily is a knight if and only if Ethan is a knight.

Ethan cannot be a knight, because this would contradict the claim of their own that Daniel is a knave or Samuel is a knave.

Ethan cannot be a knave, because this would contradict the false claim of Lily that Lily is a knight if and only if Ethan is a knight.

We have exhausted all possibilities for Ethan and Lily, so let us go back and reconsider Luke.

Assume Luke is a knave. No contradiction is found in their false claim that Lily is not a knight.

Assume Lily is a knight. No contradiction is found in their claim that Lily is a knight if and only if Ethan is a knight.

Ethan cannot be a knave, because this would contradict the claim of Lily that Lily is a knight if and only if Ethan is a knight.

We have exhausted all possibilities for Ethan, so let us go back and reconsider Lily.

Lily cannot be a knave, because this would contradict the false claim of Luke that Lily is not a knight.

We have exhausted all possibilities for Lily and Luke, so let us go back and reconsider Samuel.

Samuel cannot be a knave, because this would contradict the false claim of their own that Luke is a knave or Daniel is a knight.

We have exhausted all possibilities for Samuel, so let us go back and reconsider Daniel.

Assume Daniel is a knave. No contradiction is found in their false claim that Samuel is a knight or Luke is a knave.

Samuel cannot be a knight, because this would contradict the false claim of Daniel that Samuel is a knight or Luke is a knave.

Assume Samuel is a knave. No contradiction is found in their false claim that Luke is a knave or Daniel is a knight.

Assume Ethan is a knight. No contradiction is found in their claim that Daniel is a knave or Samuel is a knave.

Jackson cannot be a knight, because this would contradict the claim of their own that Daniel is a knight and Samuel is a knight.

Assume Jackson is a knave. No contradiction is found in their false claim that Daniel is a knight and Samuel is a knight.

Assume William is a knight. No contradiction is found in their claim that Jackson is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Abigail, Sebastian, Chloe, Alexander, Matthew, Avery, and Michael. "Alexander is a knight if and only if Sebastian is a knave" - Abigail. "If Michael is a knave then Chloe is a knight," Sebastian mentioned. In a statement by Chloe: "If Abigail is a knave then Michael is a knave". "Avery is a knight if and only if Avery is a knave," Alexander mentioned. In a statement by Matthew: "Sebastian is not a knave". In a statement by Avery: "If Sebastian is a knight then Chloe is a knave". In a statement by Michael: "If Sebastian is a knight then Avery is a knight". So who is a knight and who is a knave?

Abigail Sebastian Chloe Alexander Matthew Avery Michael

Abigail is a knight, Sebastian is a knight, Chloe is a knight, Alexander is a knave, Matthew is a knight, Avery is a knave, and Michael is a knave.

(1) Abigail is a knight
(2) Sebastian is a knight
(3) Chloe is a knight
(4) Alexander is a knave
(5) Matthew is a knight
(6) Avery is a knave
(7) Michael is a knave

Assume Abigail is a knight. No contradiction is found in their claim that Alexander is a knight if and only if Sebastian is a knave.

Alexander cannot be a knight, because this would contradict the claim of their own that Avery is a knight if and only if Avery is a knave.

Assume Alexander is a knave. No contradiction is found in their false claim that Avery is a knight if and only if Avery is a knave.

Assume Avery is a knight. No contradiction is found in their claim that If Sebastian is a knight then Chloe is a knave.

Assume Sebastian is a knight. No contradiction is found in their claim that If Michael is a knave then Chloe is a knight.

Assume Michael is a knight. No contradiction is found in their claim that If Sebastian is a knight then Avery is a knight.

Chloe cannot be a knight, because this would contradict the claim of Avery that If Sebastian is a knight then Chloe is a knave.

Chloe cannot be a knave, because this would contradict the false claim of their own that If Abigail is a knave then Michael is a knave.

We have exhausted all possibilities for Chloe, so let us go back and reconsider Michael.

Michael cannot be a knave, because this would contradict the false claim of their own that If Sebastian is a knight then Avery is a knight.

We have exhausted all possibilities for Michael, so let us go back and reconsider Sebastian.

Sebastian cannot be a knave, because this would contradict the claim of Abigail that Alexander is a knight if and only if Sebastian is a knave.

We have exhausted all possibilities for Sebastian, so let us go back and reconsider Avery.

Assume Avery is a knave. No contradiction is found in their false claim that If Sebastian is a knight then Chloe is a knave.

Michael cannot be a knight, because this would contradict the claim of their own that If Sebastian is a knight then Avery is a knight.

Assume Michael is a knave. No contradiction is found in their false claim that If Sebastian is a knight then Avery is a knight.

Assume Chloe is a knight. No contradiction is found in their claim that If Abigail is a knave then Michael is a knave.

Assume Matthew is a knight. No contradiction is found in their claim that Sebastian is not a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Victoria, Oliver, Liam, Jacob, James, Daniel, and Sofia. In Victoria's words: "Oliver is a knight". "Liam is a knight and Sofia is a knave" - Oliver. Liam said that Victoria is not a knight. Jacob said, "Sofia is a knight if and only if Daniel is a knave." James said, "Sofia is a knight or Daniel is a knave." "James is a knave," Daniel claimed. "If Oliver is a knight then James is a knave," Sofia mentioned. So who is a knight and who is a knave?

Victoria Oliver Liam Jacob James Daniel Sofia

Victoria is a knave, Oliver is a knave, Liam is a knight, Jacob is a knight, James is a knight, Daniel is a knave, and Sofia is a knight.

(1) Victoria is a knave
(2) Oliver is a knave
(3) Liam is a knight
(4) Jacob is a knight
(5) James is a knight
(6) Daniel is a knave
(7) Sofia is a knight

Assume Victoria is a knight. No contradiction is found in their claim that Oliver is a knight.

Assume Oliver is a knight. No contradiction is found in their claim that Liam is a knight and Sofia is a knave.

Liam cannot be a knight, because this would contradict the claim of their own that Victoria is not a knight.

Liam cannot be a knave, because this would contradict the claim of Oliver that Liam is a knight and Sofia is a knave.

We have exhausted all possibilities for Liam, so let us go back and reconsider Oliver.

Oliver cannot be a knave, because this would contradict the claim of Victoria that Oliver is a knight.

We have exhausted all possibilities for Oliver, so let us go back and reconsider Victoria.

Assume Victoria is a knave. No contradiction is found in their false claim that Oliver is a knight.

Oliver cannot be a knight, because this would contradict the false claim of Victoria that Oliver is a knight.

Assume Oliver is a knave. No contradiction is found in their false claim that Liam is a knight and Sofia is a knave.

Assume Liam is a knight. No contradiction is found in their claim that Victoria is not a knight.

Assume Sofia is a knight. No contradiction is found in their claim that If Oliver is a knight then James is a knave.

Assume James is a knight. No contradiction is found in their claim that Sofia is a knight or Daniel is a knave.

Daniel cannot be a knight, because this would contradict the claim of their own that James is a knave.

Assume Daniel is a knave. No contradiction is found in their false claim that James is a knave.

Assume Jacob is a knight. No contradiction is found in their claim that Sofia is a knight if and only if Daniel is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Jackson, Oliver, Samuel, Chloe, Ethan, Mia, and William. Jackson asserted: "Chloe is a knave". "Samuel is a knave if and only if Ethan is a knave," Oliver claimed. Samuel stated, "Mia is a knight and Oliver is a knight". Chloe commented, "If Chloe is a knight then Ethan is a knave". Ethan said that William is a knight and Samuel is a knight. Mia expressed that Jackson is a knight if and only if Chloe is a knight. William asserted: "Samuel is a knave if and only if Ethan is a knave". So who is a knight and who is a knave?

Jackson Oliver Samuel Chloe Ethan Mia William

Jackson is a knave, Oliver is a knight, Samuel is a knave, Chloe is a knight, Ethan is a knave, Mia is a knave, and William is a knight.

(1) Jackson is a knave
(2) Oliver is a knight
(3) Samuel is a knave
(4) Chloe is a knight
(5) Ethan is a knave
(6) Mia is a knave
(7) William is a knight

Assume Jackson is a knight. No contradiction is found in their claim that Chloe is a knave.

Chloe cannot be a knight, because this would contradict the claim of Jackson that Chloe is a knave.

Chloe cannot be a knave, because this would contradict the false claim of their own that If Chloe is a knight then Ethan is a knave.

We have exhausted all possibilities for Chloe, so let us go back and reconsider Jackson.

Assume Jackson is a knave. No contradiction is found in their false claim that Chloe is a knave.

Assume Chloe is a knight. No contradiction is found in their claim that If Chloe is a knight then Ethan is a knave.

Ethan cannot be a knight, because this would contradict the claim of Chloe that If Chloe is a knight then Ethan is a knave.

Assume Ethan is a knave. No contradiction is found in their false claim that William is a knight and Samuel is a knight.

Assume William is a knight. No contradiction is found in their claim that Samuel is a knave if and only if Ethan is a knave.

Samuel cannot be a knight, because this would contradict the false claim of Ethan that William is a knight and Samuel is a knight.

Assume Samuel is a knave. No contradiction is found in their false claim that Mia is a knight and Oliver is a knight.

Mia cannot be a knight, because this would contradict the claim of their own that Jackson is a knight if and only if Chloe is a knight.

Assume Mia is a knave. No contradiction is found in their false claim that Jackson is a knight if and only if Chloe is a knight.

Assume Oliver is a knight. No contradiction is found in their claim that Samuel is a knave if and only if Ethan is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Benjamin, Ethan, Abigail, Emily, Mason, Elizabeth, and David. Benjamin commented, "If Abigail is a knave then Ethan is a knave". Ethan noted, "If Elizabeth is a knave then Mason is a knave". Abigail noted, "Emily is a knave if and only if Emily is a knight". Emily said that Benjamin is not a knave. "If Emily is a knight then Elizabeth is a knight," Mason declared. Elizabeth asserted: "Ethan is a knight". "If Mason is a knave then Ethan is a knight" - David. So who is a knight and who is a knave?

Benjamin Ethan Abigail Emily Mason Elizabeth David

Benjamin is a knave, Ethan is a knight, Abigail is a knave, Emily is a knave, Mason is a knight, Elizabeth is a knight, and David is a knight.

(1) Benjamin is a knave
(2) Ethan is a knight
(3) Abigail is a knave
(4) Emily is a knave
(5) Mason is a knight
(6) Elizabeth is a knight
(7) David is a knight

Assume Benjamin is a knight. No contradiction is found in their claim that If Abigail is a knave then Ethan is a knave.

Abigail cannot be a knight, because this would contradict the claim of their own that Emily is a knave if and only if Emily is a knight.

Assume Abigail is a knave. No contradiction is found in their false claim that Emily is a knave if and only if Emily is a knight.

Assume Emily is a knight. No contradiction is found in their claim that Benjamin is not a knave.

Ethan cannot be a knight, because this would contradict the claim of Benjamin that If Abigail is a knave then Ethan is a knave.

Assume Ethan is a knave. No contradiction is found in their false claim that If Elizabeth is a knave then Mason is a knave.

Elizabeth cannot be a knight, because this would contradict the false claim of Ethan that If Elizabeth is a knave then Mason is a knave.

Assume Elizabeth is a knave. No contradiction is found in their false claim that Ethan is a knight.

Mason cannot be a knight, because this would contradict the claim of their own that If Emily is a knight then Elizabeth is a knight.

Mason cannot be a knave, because this would contradict the false claim of Ethan that If Elizabeth is a knave then Mason is a knave.

We have exhausted all possibilities for Mason, Elizabeth, and Ethan, so let us go back and reconsider Emily.

Emily cannot be a knave, because this would contradict the false claim of their own that Benjamin is not a knave.

We have exhausted all possibilities for Emily and Abigail, so let us go back and reconsider Benjamin.

Assume Benjamin is a knave. No contradiction is found in their false claim that If Abigail is a knave then Ethan is a knave.

Abigail cannot be a knight, because this would contradict the false claim of Benjamin that If Abigail is a knave then Ethan is a knave.

Emily cannot be a knight, because this would contradict the claim of their own that Benjamin is not a knave.

Assume Emily is a knave. No contradiction is found in their false claim that Benjamin is not a knave.

Assume Ethan is a knight. No contradiction is found in their claim that If Elizabeth is a knave then Mason is a knave.

Assume Elizabeth is a knight. No contradiction is found in their claim that Ethan is a knight.

Assume Mason is a knight. No contradiction is found in their claim that If Emily is a knight then Elizabeth is a knight.

Assume David is a knight. No contradiction is found in their claim that If Mason is a knave then Ethan is a knight.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Ella, Sofia, Aurora, Lily, David, Sebastian, and Aria. "If David is a knight then Aria is a knight," Ella mentioned. Sofia asserted: "Sebastian is a knight if and only if Lily is a knave". In a statement by Aurora: "Lily is not a knight". In Lily's words: "Ella is a knight and Sebastian is a knight". David told you that Ella is a knight if and only if Lily is a knave. "Aurora is a knave or Aurora is a knight," Sebastian declared. According to Aria, "Lily is a knave and Lily is a knight". So who is a knight and who is a knave?

Ella Sofia Aurora Lily David Sebastian Aria

Ella is a knight, Sofia is a knave, Aurora is a knave, Lily is a knight, David is a knave, Sebastian is a knight, and Aria is a knave.

(1) Ella is a knight
(2) Sofia is a knave
(3) Aurora is a knave
(4) Lily is a knight
(5) David is a knave
(6) Sebastian is a knight
(7) Aria is a knave

Assume Ella is a knight. No contradiction is found in their claim that If David is a knight then Aria is a knight.

Assume David is a knight. No contradiction is found in their claim that Ella is a knight if and only if Lily is a knave.

Lily cannot be a knight, because this would contradict the claim of David that Ella is a knight if and only if Lily is a knave.

Assume Lily is a knave. No contradiction is found in their false claim that Ella is a knight and Sebastian is a knight.

Sebastian cannot be a knight, because this would contradict the false claim of Lily that Ella is a knight and Sebastian is a knight.

Sebastian cannot be a knave, because this would contradict the false claim of their own that Aurora is a knave or Aurora is a knight.

We have exhausted all possibilities for Sebastian and Lily, so let us go back and reconsider David.

Assume David is a knave. No contradiction is found in their false claim that Ella is a knight if and only if Lily is a knave.

Assume Lily is a knight. No contradiction is found in their claim that Ella is a knight and Sebastian is a knight.

Assume Sebastian is a knight. No contradiction is found in their claim that Aurora is a knave or Aurora is a knight.

Aurora cannot be a knight, because this would contradict the claim of their own that Lily is not a knight.

Assume Aurora is a knave. No contradiction is found in their false claim that Lily is not a knight.

Aria cannot be a knight, because this would contradict the claim of their own that Lily is a knave and Lily is a knight.

Assume Aria is a knave. No contradiction is found in their false claim that Lily is a knave and Lily is a knight.

Sofia cannot be a knight, because this would contradict the claim of their own that Sebastian is a knight if and only if Lily is a knave.

Assume Sofia is a knave. No contradiction is found in their false claim that Sebastian is a knight if and only if Lily is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Aurora, Emma, Sebastian, Emily, Sophia, Evelyn, and Charlotte. Aurora asserted: "Sophia is a knave and Evelyn is a knight". In Emma's words: "Sebastian is a knave". "Emily is not a knave," Sebastian declared. As Emily put it, "Emma is a knave if and only if Sophia is a knave". Sophia said, "Emily is a knave or Sophia is a knight." In a statement by Evelyn: "Emma is a knave". Charlotte stated, "Sebastian is not a knave". So who is a knight and who is a knave?

Aurora Emma Sebastian Emily Sophia Evelyn Charlotte

Aurora is a knight, Emma is a knave, Sebastian is a knight, Emily is a knight, Sophia is a knave, Evelyn is a knight, and Charlotte is a knight.

(1) Aurora is a knight
(2) Emma is a knave
(3) Sebastian is a knight
(4) Emily is a knight
(5) Sophia is a knave
(6) Evelyn is a knight
(7) Charlotte is a knight

Assume Aurora is a knight. No contradiction is found in their claim that Sophia is a knave and Evelyn is a knight.

Sophia cannot be a knight, because this would contradict the claim of Aurora that Sophia is a knave and Evelyn is a knight.

Assume Sophia is a knave. No contradiction is found in their false claim that Emily is a knave or Sophia is a knight.

Assume Emily is a knight. No contradiction is found in their claim that Emma is a knave if and only if Sophia is a knave.

Emma cannot be a knight, because this would contradict the claim of Emily that Emma is a knave if and only if Sophia is a knave.

Assume Emma is a knave. No contradiction is found in their false claim that Sebastian is a knave.

Assume Sebastian is a knight. No contradiction is found in their claim that Emily is not a knave.

Assume Evelyn is a knight. No contradiction is found in their claim that Emma is a knave.

Assume Charlotte is a knight. No contradiction is found in their claim that Sebastian is not a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Harper, Lily, Noah, Scarlett, Aurora, Charlotte, and Sophia. In Harper's words: "Sophia is not a knight". In a statement by Lily: "Sophia is not a knight". Noah expressed that Harper is a knight and Aurora is a knight. Scarlett said that Aurora is not a knight. Aurora expressed that If Sophia is a knight then Noah is a knight. As Charlotte put it, "Noah is a knave or Scarlett is a knight". Sophia said, "Harper is a knight if and only if Aurora is a knight." So who is a knight and who is a knave?

Harper Lily Noah Scarlett Aurora Charlotte Sophia

Harper is a knave, Lily is a knave, Noah is a knave, Scarlett is a knight, Aurora is a knave, Charlotte is a knight, and Sophia is a knight.

(1) Harper is a knave
(2) Lily is a knave
(3) Noah is a knave
(4) Scarlett is a knight
(5) Aurora is a knave
(6) Charlotte is a knight
(7) Sophia is a knight

Assume Harper is a knight. No contradiction is found in their claim that Sophia is not a knight.

Sophia cannot be a knight, because this would contradict the claim of Harper that Sophia is not a knight.

Assume Sophia is a knave. No contradiction is found in their false claim that Harper is a knight if and only if Aurora is a knight.

Aurora cannot be a knight, because this would contradict the false claim of Sophia that Harper is a knight if and only if Aurora is a knight.

Aurora cannot be a knave, because this would contradict the false claim of their own that If Sophia is a knight then Noah is a knight.

We have exhausted all possibilities for Aurora and Sophia, so let us go back and reconsider Harper.

Assume Harper is a knave. No contradiction is found in their false claim that Sophia is not a knight.

Assume Sophia is a knight. No contradiction is found in their claim that Harper is a knight if and only if Aurora is a knight.

Aurora cannot be a knight, because this would contradict the claim of Sophia that Harper is a knight if and only if Aurora is a knight.

Assume Aurora is a knave. No contradiction is found in their false claim that If Sophia is a knight then Noah is a knight.

Noah cannot be a knight, because this would contradict the claim of their own that Harper is a knight and Aurora is a knight.

Assume Noah is a knave. No contradiction is found in their false claim that Harper is a knight and Aurora is a knight.

Lily cannot be a knight, because this would contradict the claim of their own that Sophia is not a knight.

Assume Lily is a knave. No contradiction is found in their false claim that Sophia is not a knight.

Assume Scarlett is a knight. No contradiction is found in their claim that Aurora is not a knight.

Assume Charlotte is a knight. No contradiction is found in their claim that Noah is a knave or Scarlett is a knight.

(('not', ('telling-truth', 6)), ('not', ('telling-truth', 6)), ('and', ('telling-truth', 0), ('telling-truth', 4)), ('not', ('telling-truth', 4)), ('->', ('telling-truth', 6), ('telling-truth', 2)), ('or', ('lying', 2), ('telling-truth', 3)), ('<=>', ('telling-truth', 0), ('telling-truth', 4)))


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Harper, Charlotte, Riley, Zoey, Jack, Emma, and Aria. Harper commented, "Zoey is a knave". Charlotte told you that Zoey is a knave if and only if Aria is a knight. According to Riley, "Aria is a knight". Zoey stated, "Emma is a knight or Riley is a knave". "Emma is a knave and Harper is a knight" - Jack. According to Emma, "Harper is a knave or Harper is a knight". Aria remarked, "Zoey is a knave". So who is a knight and who is a knave?

Harper Charlotte Riley Zoey Jack Emma Aria

Harper is a knave, Charlotte is a knight, Riley is a knave, Zoey is a knight, Jack is a knave, Emma is a knight, and Aria is a knave.

(1) Harper is a knave
(2) Charlotte is a knight
(3) Riley is a knave
(4) Zoey is a knight
(5) Jack is a knave
(6) Emma is a knight
(7) Aria is a knave

Assume Harper is a knight. No contradiction is found in their claim that Zoey is a knave.

Zoey cannot be a knight, because this would contradict the claim of Harper that Zoey is a knave.

Assume Zoey is a knave. No contradiction is found in their false claim that Emma is a knight or Riley is a knave.

Emma cannot be a knight, because this would contradict the false claim of Zoey that Emma is a knight or Riley is a knave.

Emma cannot be a knave, because this would contradict the false claim of their own that Harper is a knave or Harper is a knight.

We have exhausted all possibilities for Emma and Zoey, so let us go back and reconsider Harper.

Assume Harper is a knave. No contradiction is found in their false claim that Zoey is a knave.

Assume Zoey is a knight. No contradiction is found in their claim that Emma is a knight or Riley is a knave.

Assume Emma is a knight. No contradiction is found in their claim that Harper is a knave or Harper is a knight.

Assume Riley is a knight. No contradiction is found in their claim that Aria is a knight.

Aria cannot be a knight, because this would contradict the claim of their own that Zoey is a knave.

Aria cannot be a knave, because this would contradict the claim of Riley that Aria is a knight.

We have exhausted all possibilities for Aria, so let us go back and reconsider Riley.

Assume Riley is a knave. No contradiction is found in their false claim that Aria is a knight.

Aria cannot be a knight, because this would contradict the false claim of Riley that Aria is a knight.

Assume Aria is a knave. No contradiction is found in their false claim that Zoey is a knave.

Assume Charlotte is a knight. No contradiction is found in their claim that Zoey is a knave if and only if Aria is a knight.

Jack cannot be a knight, because this would contradict the claim of their own that Emma is a knave and Harper is a knight.

Assume Jack is a knave. No contradiction is found in their false claim that Emma is a knave and Harper is a knight.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Scarlett, James, Henry, Aiden, Daniel, Chloe, and William. Scarlett noted, "If Aiden is a knight then Chloe is a knight". "Henry is a knave if and only if James is a knight" - James. Henry told you that Aiden is a knave or Scarlett is a knave. Aiden asserted: "James is a knight if and only if Scarlett is a knave". "If Henry is a knight then James is a knave" - Daniel. "Scarlett is a knight," Chloe claimed. William remarked, "Chloe is a knight and Aiden is a knave". So who is a knight and who is a knave?

Scarlett James Henry Aiden Daniel Chloe William

Scarlett is a knight, James is a knave, Henry is a knave, Aiden is a knight, Daniel is a knight, Chloe is a knight, and William is a knave.

(1) Scarlett is a knight
(2) James is a knave
(3) Henry is a knave
(4) Aiden is a knight
(5) Daniel is a knight
(6) Chloe is a knight
(7) William is a knave

Assume Scarlett is a knight. No contradiction is found in their claim that If Aiden is a knight then Chloe is a knight.

Assume Aiden is a knight. No contradiction is found in their claim that James is a knight if and only if Scarlett is a knave.

James cannot be a knight, because this would contradict the claim of Aiden that James is a knight if and only if Scarlett is a knave.

Assume James is a knave. No contradiction is found in their false claim that Henry is a knave if and only if James is a knight.

Henry cannot be a knight, because this would contradict the false claim of James that Henry is a knave if and only if James is a knight.

Assume Henry is a knave. No contradiction is found in their false claim that Aiden is a knave or Scarlett is a knave.

Assume Chloe is a knight. No contradiction is found in their claim that Scarlett is a knight.

Assume Daniel is a knight. No contradiction is found in their claim that If Henry is a knight then James is a knave.

William cannot be a knight, because this would contradict the claim of their own that Chloe is a knight and Aiden is a knave.

Assume William is a knave. No contradiction is found in their false claim that Chloe is a knight and Aiden is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Oliver, Evelyn, Aria, Alexander, Mason, Aurora, and Lily. According to Oliver, "Evelyn is a knave and Mason is a knave". Evelyn commented, "Aria is not a knave". In Aria's words: "Lily is a knave". In Alexander's words: "Aurora is a knight or Aurora is a knave". "Aria is a knave," Mason claimed. "Oliver is a knave or Mason is a knight" - Aurora. "Aurora is a knight and Alexander is a knight," Lily declared. So who is a knight and who is a knave?

Oliver Evelyn Aria Alexander Mason Aurora Lily

Oliver is a knave, Evelyn is a knave, Aria is a knave, Alexander is a knight, Mason is a knight, Aurora is a knight, and Lily is a knight.

(1) Oliver is a knave
(2) Evelyn is a knave
(3) Aria is a knave
(4) Alexander is a knight
(5) Mason is a knight
(6) Aurora is a knight
(7) Lily is a knight

Assume Oliver is a knight. No contradiction is found in their claim that Evelyn is a knave and Mason is a knave.

Evelyn cannot be a knight, because this would contradict the claim of Oliver that Evelyn is a knave and Mason is a knave.

Assume Evelyn is a knave. No contradiction is found in their false claim that Aria is not a knave.

Aria cannot be a knight, because this would contradict the false claim of Evelyn that Aria is not a knave.

Assume Aria is a knave. No contradiction is found in their false claim that Lily is a knave.

Assume Lily is a knight. No contradiction is found in their claim that Aurora is a knight and Alexander is a knight.

Assume Aurora is a knight. No contradiction is found in their claim that Oliver is a knave or Mason is a knight.

Mason cannot be a knight, because this would contradict the claim of Oliver that Evelyn is a knave and Mason is a knave.

Mason cannot be a knave, because this would contradict the false claim of their own that Aria is a knave.

We have exhausted all possibilities for Mason, so let us go back and reconsider Aurora.

Aurora cannot be a knave, because this would contradict the claim of Lily that Aurora is a knight and Alexander is a knight.

We have exhausted all possibilities for Aurora, so let us go back and reconsider Lily.

Lily cannot be a knave, because this would contradict the false claim of Aria that Lily is a knave.

We have exhausted all possibilities for Lily, Aria, and Evelyn, so let us go back and reconsider Oliver.

Assume Oliver is a knave. No contradiction is found in their false claim that Evelyn is a knave and Mason is a knave.

Assume Evelyn 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 Lily is a knave.

Lily cannot be a knight, because this would contradict the claim of Aria that Lily is a knave.

Assume Lily is a knave. No contradiction is found in their false claim that Aurora is a knight and Alexander is a knight.

Mason cannot be a knight, because this would contradict the claim of their own that Aria is a knave.

Assume Mason is a knave. No contradiction is found in their false claim that Aria is a knave.

Alexander cannot be a knight, because this would contradict the false claim of Lily that Aurora is a knight and Alexander is a knight.

Alexander cannot be a knave, because this would contradict the false claim of their own that Aurora is a knight or Aurora is a knave.

We have exhausted all possibilities for Alexander and Mason, so let us go back and reconsider Aurora.

Aurora cannot be a knave, because this would contradict the false claim of their own that Oliver is a knave or Mason is a knight.

We have exhausted all possibilities for Aurora and Lily, so let us go back and reconsider Aria.

Aria cannot be a knave, because this would contradict the claim of Evelyn that Aria is not a knave.

We have exhausted all possibilities for Aria, so let us go back and reconsider Evelyn.

Assume Mason is a knight. No contradiction is found in their claim that Aria is a knave.

Assume Alexander is a knight. No contradiction is found in their claim that Aurora is a knight or Aurora is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: David, Victoria, Olivia, Aria, Mason, Amelia, and Isabella. David expressed that If Mason is a knave then Victoria is a knight. "Isabella is a knave and Amelia is a knave," Victoria mentioned. "Isabella is a knave or Aria is a knave" - Olivia. Aria asserted: "If Olivia is a knight then Isabella is a knight". In Mason's words: "Amelia is a knight if and only if Olivia is a knight". In Amelia's words: "David is a knight if and only if Aria is a knave". Isabella was heard saying, "Olivia is a knight and Amelia is a knave". So who is a knight and who is a knave?

David Victoria Olivia Aria Mason Amelia Isabella

David is a knight, Victoria is a knave, Olivia is a knight, Aria is a knave, Mason is a knight, Amelia is a knight, and Isabella is a knave.

(1) David is a knight
(2) Victoria is a knave
(3) Olivia is a knight
(4) Aria is a knave
(5) Mason is a knight
(6) Amelia is a knight
(7) Isabella is a knave

Assume David is a knight. No contradiction is found in their claim that If Mason is a knave then Victoria is a knight.

Assume Mason is a knight. No contradiction is found in their claim that Amelia is a knight if and only if Olivia is a knight.

Assume Amelia is a knight. No contradiction is found in their claim that David is a knight if and only if Aria is a knave.

Aria cannot be a knight, because this would contradict the claim of Amelia that David is a knight if and only if Aria is a knave.

Assume Aria is a knave. No contradiction is found in their false claim that If Olivia is a knight then Isabella is a knight.

Assume Olivia is a knight. No contradiction is found in their claim that Isabella is a knave or Aria is a knave.

Isabella cannot be a knight, because this would contradict the false claim of Aria that If Olivia is a knight then Isabella is a knight.

Assume Isabella is a knave. No contradiction is found in their false claim that Olivia is a knight and Amelia is a knave.

Victoria cannot be a knight, because this would contradict the claim of their own that Isabella is a knave and Amelia is a knave.

Assume Victoria is a knave. No contradiction is found in their false claim that Isabella is a knave and Amelia is a knave.


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: William, Aurora, Sofia, Isabella, Ella, Owen, and Emily. William said, "Emily is a knave or Aurora is a knight." "Emily is not a knight," Aurora mentioned. "Owen is a knight if and only if Isabella is a knave" - Sofia. Isabella stated, "William is not a knave". "Isabella is a knight," Ella mentioned. Owen noted, "William is not a knight". In Emily's words: "Sofia is a knight". So who is a knight and who is a knave?

William Aurora Sofia Isabella Ella Owen Emily

William is a knave, Aurora is a knave, Sofia is a knight, Isabella is a knave, Ella is a knave, Owen is a knight, and Emily is a knight.

(1) William is a knave
(2) Aurora is a knave
(3) Sofia is a knight
(4) Isabella is a knave
(5) Ella is a knave
(6) Owen is a knight
(7) Emily is a knight

Assume William is a knight. No contradiction is found in their claim that Emily is a knave or Aurora is a knight.

Assume Emily is a knight. No contradiction is found in their claim that Sofia is a knight.

Assume Sofia is a knight. No contradiction is found in their claim that Owen is a knight if and only if Isabella is a knave.

Owen cannot be a knight, because this would contradict the claim of their own that William is not a knight.

Assume Owen is a knave. No contradiction is found in their false claim that William is not a knight.

Assume Isabella is a knight. No contradiction is found in their claim that William is not a knave.

Aurora cannot be a knight, because this would contradict the claim of their own that Emily is not a knight.

Aurora cannot be a knave, because this would contradict the claim of William that Emily is a knave or Aurora is a knight.

We have exhausted all possibilities for Aurora, so let us go back and reconsider Isabella.

Isabella cannot be a knave, because this would contradict the claim of Sofia that Owen is a knight if and only if Isabella is a knave.

We have exhausted all possibilities for Isabella and Owen, so let us go back and reconsider Sofia.

Sofia cannot be a knave, because this would contradict the claim of Emily that Sofia is a knight.

We have exhausted all possibilities for Sofia, so let us go back and reconsider Emily.

Assume Emily is a knave. No contradiction is found in their false claim that Sofia is a knight.

Sofia cannot be a knight, because this would contradict the false claim of Emily that Sofia is a knight.

Assume Sofia is a knave. No contradiction is found in their false claim that Owen is a knight if and only if Isabella is a knave.

Isabella cannot be a knight, because this would contradict the false claim of Sofia that Owen is a knight if and only if Isabella is a knave.

Isabella cannot be a knave, because this would contradict the false claim of their own that William is not a knave.

We have exhausted all possibilities for Isabella, Owen, Sofia, and Emily, so let us go back and reconsider William.

Assume William is a knave. No contradiction is found in their false claim that Emily is a knave or Aurora is a knight.

Assume Owen is a knight. No contradiction is found in their claim that William is not a knight.

Isabella cannot be a knight, because this would contradict the claim of Sofia that Owen is a knight if and only if Isabella is a knave.

Assume Isabella is a knave. No contradiction is found in their false claim that William is not a knave.

Aurora cannot be a knight, because this would contradict the false claim of William that Emily is a knave or Aurora is a knight.

Assume Aurora is a knave. No contradiction is found in their false claim that Emily is not a knight.

Ella cannot be a knight, because this would contradict the claim of their own that Isabella is a knight.

Assume Ella is a knave. No contradiction is found in their false claim that Isabella is a knight.

(('or', ('lying', 6), ('telling-truth', 1)), ('not', ('telling-truth', 6)), ('<=>', ('telling-truth', 5), ('lying', 3)), ('not', ('lying', 0)), ('telling-truth', 3), ('not', ('telling-truth', 0)), ('telling-truth', 2))


A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet 7 inhabitants: Zoey, Sophia, Penelope, Avery, Lucas, Emily, and Olivia. Zoey was heard saying, "Lucas is not a knave". Sophia said that If Lucas is a knight then Lucas is a knave. Penelope told you that Olivia is a knave or Sophia is a knave. "Penelope is a knight if and only if Zoey is a knight," Avery mentioned. "Avery is a knight," Lucas claimed. In a statement by Emily: "Sophia is a knight". Olivia told you that If Penelope is a knight then Zoey is a knave. So who is a knight and who is a knave?

Zoey Sophia Penelope Avery Lucas Emily Olivia

Zoey is a knight, Sophia is a knave, Penelope is a knight, Avery is a knight, Lucas is a knight, Emily is a knave, and Olivia is a knave.

(1) Zoey is a knight
(2) Sophia is a knave
(3) Penelope is a knight
(4) Avery is a knight
(5) Lucas is a knight
(6) Emily is a knave
(7) Olivia is a knave

Assume Zoey is a knight. No contradiction is found in their claim that Lucas is not a knave.

Assume Lucas is a knight. No contradiction is found in their claim that Avery is a knight.

Assume Avery is a knight. No contradiction is found in their claim that Penelope is a knight if and only if Zoey is a knight.

Assume Penelope is a knight. No contradiction is found in their claim that Olivia is a knave or Sophia is a knave.

Olivia cannot be a knight, because this would contradict the claim of their own that If Penelope is a knight then Zoey is a knave.

Assume Olivia is a knave. No contradiction is found in their false claim that If Penelope is a knight then Zoey is a knave.

Sophia cannot be a knight, because this would contradict the claim of their own that If Lucas is a knight then Lucas is a knave.

Assume Sophia is a knave. No contradiction is found in their false claim that If Lucas is a knight then Lucas is a knave.

Emily cannot be a knight, because this would contradict the claim of their own that Sophia is a knight.

Assume Emily is a knave. No contradiction is found in their false claim that Sophia is a knight.