「「仮に「「手堅いということはないしその上多い」ということは成り立つ」ということは成り立たないなら開局しない」ものはある」ということは偽だ
fact1: もし仮に「とある物は手堅くないけどそれは多い」ということは事実でないとしたら開局するということはない
fact1 -> int1: もしも「このポーツマス条約は手堅くないが多い」ということは本当でないとしたら「開局するということはない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: もし仮に「とある物は手堅くないけどそれは多い」ということは事実でないとしたら開局するということはない ; $hypothesis$ = 「「仮に「「手堅いということはないしその上多い」ということは成り立つ」ということは成り立たないなら開局しない」ものはある」ということは偽だ ; $proof$ = 
fact1 -> int1: もしも「このポーツマス条約は手堅くないが多い」ということは本当でないとしたら「開局するということはない」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に「とある物は手堅くないけどそれは多い」ということは事実でないとしたら開局するということはない

仮説: 「「仮に「「手堅いということはないしその上多い」ということは成り立つ」ということは成り立たないなら開局しない」ものはある」ということは偽だ
1. 事実1から、推論1: "もしも「このポーツマス条約は手堅くないが多い」ということは本当でないとしたら「開局するということはない」ということは成り立つ"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。