[садовник]

Любое доказательство теорем сводится к приведению к тождественности двух аксиоматической комбинаций - в левой части тождества и в правой. Если доказательство от противного, то это только добавляет знак инверсии в тождество.
По сути Гёдель именно таким способом и доказал свою теорему. Достаточно было только хорошенько подумать над комбинациями аксиом.

[Самокритик]

Один отказался, сославшись на то, что лучше живое общение и под запись.

Получается, тест на конструктивность должен начинаться на согласие, вообще, так общаться..

[Самокритик]

А что про сам формат скажете безотносительно КОБ ?
Схему можно применить в любой сфере общества.
Например, ток-шоу превратить из пустоговорильни - в обмен структурными блоками, которые по пути ещё и анализируются модераторскими структурами, некоторые из которых - всё общество