Deductive_inference loading ...