Deductive Inference Algorithm