Empirical Explorations with the Logic Theory Machine: A Case Study in Heuristics