A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories