Propositional rule extraction from neural networks under background knowledge