Checking extracted rules in Neural Networks