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