Итоги голосования для комментария:
Энвер из Нибиру
в этом и проблема всего перечисленного — его нельзя вывести, но можно утвердить
В данном контексте «вывести» означает не столько «вывести по правилам формальной логики», сколько «сконструировать, опираясь на презумпции, выведенные из практики».