Uma empresa produz andróides de dois tipos: os de tipo V, que sempre dizem a verdade, e os de tipo M, que sempre mentem. Dr. Turing, um especialista em Inteligência Artificial, está examinando um grupo de cinco andróides – rotulados de Alfa, Beta, Gama, Delta e Épsilon –, fabricados por essa empresa, para determinar quantos entre os cinco são do tipo V. Ele pergunta a Alfa: "Você é do tipo M?" Alfa responde mas Dr. Turing, distraído, não ouve a resposta. Os andróides restantes fazem, então, as seguintes declarações: