Steps Toward Automatic Theory Formation