Mechanizing Hypothesis Formation by P. Hajek & T. Havranek