Title: Mechanizing Hypothesis Formation