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