Прежде всего я докажу, что свидетель C не может быть зомби. Предположим, что C - зомби. Тогда A и B должны быть братьями. Следовательно, они либо оба зомби, либо оба люди. Предположим, что A и B - люди. Тогда "бал" означает "да", поэтому A на вопрос, не виновен ли подсудимый, дал утвердительный ответ. Следовательно, подсудимый не виновен. Предположим теперь, что A и B - зомби. Тогда "бал" означает "нет", а поскольку A - зомби и на вопрос, не виновен ли подсудимый, отвечает отрицательно, то подсудимый не виновен. Итак, если C - зомби, то подсудимый не виновен (независимо от того, кто такие A и B - зомби или люди). С другой стороны, если C - зомби, то подсудимый должен быть виновен, так как C утверждает, что подсудимый не виновен, и мы приходим к противоречию. Следовательно, C не может быть зомби, и поэтому C - человек. А поскольку C утверждает, что подсудимый не виновен, то тот действительно не виновен.
