Outline: Inference
	n Resolution in CNF n Sound and Complete n Forward and Backward Chaining using Modus Ponens in Horn Form n Sound and Complete