Inference
Deduction. Given some facts, and some rules, derive new knowledge. The best known case of this are syllogisms: All men are mortal, Socrates is a man, therefore Socrates is mortal. This is usually called deduction.