IRE: Inductive Rule Extraction