Safe Abductive Learning in the Presence of Inaccurate Rules | Synapse