Ask HN: Is there any programming language to argument thought processes?

I feel the need to argument a lot of stuff, product decisions, vision etc. I also feel the need to break down thoughts to simple facts to find where I disagree with others. A kind of programming language focused on that would really help and save time.

Just as an example of what I'm thinking about, here it is my thought process on why eliminating fake news from Facebook would really strengthen Facebook’s dictatorship:

Facebook => Central authority

Fake news => Elections impact => Bad

Fake news => Eliminate

Eliminate (Fake news) => Binary decision + Central authority => Dictatorship