On Automated Scientific Theory Formation: A Case Study Using the AM Program