much of cardinal harms 's time was spent in a secret activity : he had been feeding st. anselm 's proslogion to the great artificial intelligence system big noodle with the idea of resurrecting the long-discredited ontological proof for the existence of god .