Understanding CNN Hidden Neuron Activations Using Structured Background Knowledge and Deductive Reasoning