The whole class of logic puzzles are sometimes known as "Knights and Knaves", and was originally made up by a mathematician, and thus traditional "correct" answers delve into abstract/Boolean logic, matrices, and enough double negatives that any non-mathematician guard would likely be confused...