It depends on the (and I will use the term loosely here) "category" of interest. ie which kinds of implications you are talking about. Perhaps unsurprisingly, for mathematical propositions (constructive), these things do exist, and almost certainly surprisingly, they tend to be implemented as libraries of functions over a particular type system (constituting a less loose use of the word category).
For more statistical propositions, such as those that occur in science. Those exist but they're very flawed, and it's a tremendous effort to get anything useful out of them, on account of them dying when we try to look inside. If you haven't caught on, I'm talking about humans. We have yet to replicate such things automatically. You're certainly welcome to try though :).
