Click here
Update: A revision in the wording at one spot. Comments still sought.
Click here
Update update: One might notice that, in the idealized scientific processes, mathematics is a specialty dealing mainly with the 'Make (more) inferences' phases. Because of the way scientific reasoning works, it often needs very precise and rigorous inference.