Tool for eXtended Hybrid Abductive Inductive Learning