Таким образом, заменяя исходные пропозиции (1) и (2) на эквивалентные им их двойные отрицания, мы воспроизводим имеющиеся противоречия и опять же получаем в перевернутой форме (2) и (1). Так как (1) и (2) несовместимы, то они противоречат друг другу и не могут быть совместно (одновременно) реализованы в истории.
Таким образом, становится очевидным, что мы не в состоянии прийти к некоторому совместимому (непротиворечивому) положению дел путем «содержательного» отрицания исходных пропозиций, поскольку получаемые таким образом будущие состояния дел опять-таки несовместимы. Как видим, замена исходной пропозиции на эквивалентные ей отрицания или следствия не приводит к снятию противоречий, которые повторяются и далее. Тем самым можно считать опровергнутым достаточно распространенное в «практической конфликтологии» положение, при котором решение конфликта видится в замене некоторого положения дел, которое мы считаем причиной конфликта, на противоречащие ему. Такое решение по сути учитывает позицию только одного из участников конфликта.
Однако дело существенно меняется, если от «содержательной» или «общепринятой» интерпретации перейти к формально-логической – тавтологической11: «Карабах принадлежит Армении и неверно, что Карабах не принадлежит Армении». Казалось бы, она должна быть исключена из рассмотрения именно по причине своей тавтологичности. Однако эта тавтологичность снимается при переходе к следствиям. При формально-логической интерпретации отрицанием пропозиции (1) явится не (2), а куда более широкое множество миров (~1), в которых Карабах не принадлежит Армении, и в некоторых из них, но не во всех, принадлежит Азербайджану. «Содержательное» отрицание (Карабах принадлежит Азербайджану) явится частным случаем более общего формального (Карабах не принадлежит Армении). Миры (~1) включают как подмножество миров (2), так и некоторое множество иных миров (~2). Соответственно, миры (~2) включают миры (1): миры, в которых Карабах не принадлежит Азербайджану, включают и те миры, в которых Карабах принадлежит Армении, так и те из множества (~2), в которых это положение дел не имеет места (~1).
Обиходная интерпретация пропозиции (1\/2) делит универсум на две непересекающиеся части: Карабах принадлежит Армении или Карабах принадлежит Азербайджану, и третьего не дано – (1) \/ (2).