Argument mining and automatic fact checking are things and there are actual products that do them.

It seems reasonable to have some of those products implemented in a logic language.

But such system exists, mostly implemented in prolog.