Which is true as a tautology, but not in the way you mean. The problem isn't the hijacking of classifiers, that's incoherent. You bypass a stochastic classifier to hijack the reasoning model, and potentially bypass the stochastic classifier sitting on the other end.

I think the argument you may be trying to make is that it's not something where we can easily build a general, one-size-fits-all solution in a first-order system. My response to that is that it's already solved, inductive logic programming has already proven its generality. The problem is the non-elementary search space, so it's really dependent on whether or not we discover semantic models for SOL with better heuristics than what we currently have. Of course at that point, this branch of ML is effectively dead anyways.

Until then, you can still do it if you actually control your inference pipeline, it's just something you have to engineer for a specific environment.