「この領土的野心は補給出来るし渡来する」ということは誤りだ
fact1: そのロシア艦隊は駆け抜ける fact2: 駆け抜けないか墓前であるかあるいは両方であるという物はない fact3: もしも「そのロシア艦隊は駆け抜けるか墓前であるか両方ともである」ということは嘘ならこの領土的野心は補給出来る fact4: 「そのロシア艦隊は駆け抜けるということはなくて加えて渡来するということはない」ということは偽だ fact5: 「この領土的野心が昇進出来ないしさらに渡来しない」ということは成り立たない fact6: もし「この領土的野心は昇進出来なくて渡来しない」ということは成り立たないとしたら渡来する fact7: 「この領土的野心は昇進出来ないが渡来する」ということは成り立たない fact8: 全ては駆け抜ける fact9: 仮になんらかの物は昇進出来ないなら「それは補給出来るし加えてそれは渡来する」ということは間違いである fact10: もし「そのロシア艦隊は駆け抜けないかもしくは墓前であるかどちらもである」ということは間違いであるとするとこの領土的野心は補給出来る
fact2 -> int1: 「「そのロシア艦隊は駆け抜けないかもしくは墓前だ」ということは誤っている」ということは確かである; int1 & fact10 -> int2: 「この領土的野心は補給出来る」ということは真実である; fact6 & fact5 -> int3: この領土的野心は渡来する; int2 & int3 -> hypothesis;
「この領土的野心は補給出来るしかつ渡来する」ということは成り立つということはない
fact11 -> int4: もし仮にこの領土的野心は昇進出来るということはないなら「それは補給出来るし渡来する」ということは成り立たない;
$facts$ = fact1: そのロシア艦隊は駆け抜ける fact2: 駆け抜けないか墓前であるかあるいは両方であるという物はない fact3: もしも「そのロシア艦隊は駆け抜けるか墓前であるか両方ともである」ということは嘘ならこの領土的野心は補給出来る fact4: 「そのロシア艦隊は駆け抜けるということはなくて加えて渡来するということはない」ということは偽だ fact5: 「この領土的野心が昇進出来ないしさらに渡来しない」ということは成り立たない fact6: もし「この領土的野心は昇進出来なくて渡来しない」ということは成り立たないとしたら渡来する fact7: 「この領土的野心は昇進出来ないが渡来する」ということは成り立たない fact8: 全ては駆け抜ける fact9: 仮になんらかの物は昇進出来ないなら「それは補給出来るし加えてそれは渡来する」ということは間違いである fact10: もし「そのロシア艦隊は駆け抜けないかもしくは墓前であるかどちらもである」ということは間違いであるとするとこの領土的野心は補給出来る ; $hypothesis$ = 「この領土的野心は補給出来るし渡来する」ということは誤りだ ; $proof$ = 
fact2 -> int1: 「「そのロシア艦隊は駆け抜けないかもしくは墓前だ」ということは誤っている」ということは確かである; int1 & fact10 -> int2: 「この領土的野心は補給出来る」ということは真実である; fact6 & fact5 -> int3: この領土的野心は渡来する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: そのロシア艦隊は駆け抜ける
事実2: 駆け抜けないか墓前であるかあるいは両方であるという物はない
事実3: もしも「そのロシア艦隊は駆け抜けるか墓前であるか両方ともである」ということは嘘ならこの領土的野心は補給出来る
事実4: 「そのロシア艦隊は駆け抜けるということはなくて加えて渡来するということはない」ということは偽だ
事実5: 「この領土的野心が昇進出来ないしさらに渡来しない」ということは成り立たない
事実6: もし「この領土的野心は昇進出来なくて渡来しない」ということは成り立たないとしたら渡来する
事実7: 「この領土的野心は昇進出来ないが渡来する」ということは成り立たない
事実8: 全ては駆け抜ける
事実9: 仮になんらかの物は昇進出来ないなら「それは補給出来るし加えてそれは渡来する」ということは間違いである
事実10: もし「そのロシア艦隊は駆け抜けないかもしくは墓前であるかどちらもである」ということは間違いであるとするとこの領土的野心は補給出来る

仮説: 「この領土的野心は補給出来るし渡来する」ということは誤りだ
1. 事実2から、推論1: "「「そのロシア艦隊は駆け抜けないかもしくは墓前だ」ということは誤っている」ということは確かである"が導かれる
2. 推論1と事実10から、推論2: "「この領土的野心は補給出来る」ということは真実である"が導かれる
3. 事実6と事実5から、推論3: "この領土的野心は渡来する"が導かれる
4. 推論2と推論3から、仮説が否定される

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