Timothy and Elizabeth are a married couple in Knaville. Every inhabitant of Knaville is either a knight, a liar, or a knave. There is a rule that a knight can only marry a liar, a liar can only marry a knight, and a knave can only marry a knave. Timothy and Elizabeth make the following statements.
Timothy:Elizabeth is a knave.
Elizabeth:Timothy is a knave.
What types are Timothy and Elizabeth?
The two allowed unions are: (truther, liar) and
(anythinger, anythinger).
The respective spousal assessments are then: (liar, liar or anythinger) and (anything, anything). So, they are both knaves (anythingers).
Edited on September 23, 2019, 9:41 am
spoiler
