Si la machine A dit la vérité, cela implique que B et C doivent mentir. Or si B ment ce qui signifie qu’elle est la machine gagnante, dans ce cas C dit la vérité. Mais il ne peut y avoir qu’une seule vérité.
Si A ment (ce qui signifie que c’est elle la machine gagnante), B dit la vérité et C ment. Dans ce cas, il n’y a qu’une seule vérité.
La machine gagnante est donc la A.