Educe

Deductive reasoning, also deductive logic or logical deduction or, informally, "top-down" logic, is the process of reasoning from one or more general statements (premises) to reach a logically certain conclusion.