logic The logical process by which new facts are derived

from known facts by the application of inference rules.