Mechanizing Hypothesis Formation (Principles and Case Studies)