Derive logical consequences step by step from a given premise, building a traceable derivation chain.
