From language to ethics by automated reasoning — LessWrong