この過程は「推理(inference)」-言語単位では「推論」-と呼ばれ、ひとつ以上の真実と思われる判断を元に、別の判断を真実とみなす思考の作用である。