「「もし提議するとしたら「妥協策である一方で指名しない」ということは成り立たない」ものはある」ということは成り立つ
fact1: 仮になんらかの物は提議するとすれば「妥協策だが指名しない」ということは誤りである
fact1 -> int1: もしも「この工作隊は提議する」ということは成り立つなら「それは妥協策であるけど指名しない」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: 仮になんらかの物は提議するとすれば「妥協策だが指名しない」ということは誤りである ; $hypothesis$ = 「「もし提議するとしたら「妥協策である一方で指名しない」ということは成り立たない」ものはある」ということは成り立つ ; $proof$ = 
fact1 -> int1: もしも「この工作隊は提議する」ということは成り立つなら「それは妥協策であるけど指名しない」ということは間違いである; int1 -> hypothesis; __PROVED__
事実1: 仮になんらかの物は提議するとすれば「妥協策だが指名しない」ということは誤りである

仮説: 「「もし提議するとしたら「妥協策である一方で指名しない」ということは成り立たない」ものはある」ということは成り立つ
1. 事実1から、推論1: "もしも「この工作隊は提議する」ということは成り立つなら「それは妥協策であるけど指名しない」ということは間違いである"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。