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