deductive inferences