Dialectic algorithm—For calculating if an argument is sustained or refuted

Link post