Even Karpathy acknowledged that this would require some baseline of human knowledge. The idea wasn't pure logic/reasoning, but some subset to bootstrap from.