Mechanizing Hypothesis Formation