#premise to conclusion #logical inference #rule application #syllogism #top-down logic #formal reasoning #certainty