Automated Theory Selection using Agent Based Models