El Canguro quiere saber cuántos mentirosos hay entre los 7 gnomos que ha encontrado en el bosque. Les pregunta: “¿Cuántos mentirosos hay entre vosotros?”. El primer gnomo contesta“uno”, el segundo “dos”, etc, el séptimo dice “siete”. ¿Cuántos mentirosos hay?
Se parte de la hipótesis de que todos mienten entonces la lógica indica inferencialmente que el primer gnomo miente al decir "uno" pues se efiere a él mismo siendo el primero, al segundo, siendo ya dos a los que les pregunta, la respuesta es "dos" y así hasta el final donde el último indica que son 7 los mentirosos. en la lógica contraria son 7 los NO mentirosos, por tanto ninguno es mentiroso.