There are four people $X,Y,Z,K$ who speak the truth with probability $\frac{1}{3}$ independently of each other. Given $X$ claimed that $Y$ denied that $Z$ declared that $K$ lied. Find the probability that $K$ speaks the truth?
My attempt: I plan to imitate the solution given in this post - Eddington's controversy simplified - but in our case, we have a lot more cases ($16$). I wonder if anyone has any thoughts for a slicker solutions, rather than brute-forcing? Also, I am confused if the word "claimed" is definite (aka. does it imply $X$ always speak the truth?)