Title: Empirical explorations of the logic theory machine