All Souls exam questions and the limits of machine reasoning