No it's not, because of the "undoing" problem. A user can't delete a statement assuming this will be enough as he will not be explicit that the statement is bot added and implied by other statements, as opposed as a statement explicitely inferred by Wikibase and marked explicitely as such in the UI. If Wikibase tracks the root explicit statements used to make the inference, they could be exposed in the UI as well to tell the user what he might have to do to correct the mistake (closer to or) at the actual root.
Actually, instead of making stuffs explicit, it make stuffs hidden into complex workflows, so imho this goes in the oposite direction to the intended one.