Reminded me of this area teaching computers to argue[0].

[0]: https://en.wikipedia.org/wiki/Argumentation_framework