What is the reasoning used to reach a decision based on a set of assumptions, or it may be defined as the science of reasoning, proof, thinking, or inference?