その根城は御問い合わせ下さらないが宗谷岬だ
fact1: もしもその根城が充当しないとすればそれは導くし引き出しである fact2: 何もかもは総計であるしさらに創隊する fact3: もしもその入手経路は導かないとしたら「その根城は御問い合わせ下さらないけどそれは宗谷岬である」ということは成り立たない fact4: なにがしかのものは総計である fact5: 「仮に総計が創隊するならばあの入手経路は導かない」ということは成り立つ fact6: もしある物が総計でないならそれは御問い合わせ下さらないしそれは宗谷岬である fact7: 「その根城は御問い合わせ下さるし加えて宗谷岬だ」ということは嘘である
fact2 -> int1: 「あの三国同盟は総計で更に創隊する」ということは嘘でない; int1 -> int2: 「総計だし創隊する」物はある; int2 & fact5 -> int3: その入手経路は導かない; int3 & fact3 -> hypothesis;
その根城は御問い合わせ下さらないけど宗谷岬である
fact8 -> int4: もしもその根城は総計でないならば御問い合わせ下さらない一方で宗谷岬だ;
$facts$ = fact1: もしもその根城が充当しないとすればそれは導くし引き出しである fact2: 何もかもは総計であるしさらに創隊する fact3: もしもその入手経路は導かないとしたら「その根城は御問い合わせ下さらないけどそれは宗谷岬である」ということは成り立たない fact4: なにがしかのものは総計である fact5: 「仮に総計が創隊するならばあの入手経路は導かない」ということは成り立つ fact6: もしある物が総計でないならそれは御問い合わせ下さらないしそれは宗谷岬である fact7: 「その根城は御問い合わせ下さるし加えて宗谷岬だ」ということは嘘である ; $hypothesis$ = その根城は御問い合わせ下さらないが宗谷岬だ ; $proof$ = 
fact2 -> int1: 「あの三国同盟は総計で更に創隊する」ということは嘘でない; int1 -> int2: 「総計だし創隊する」物はある; int2 & fact5 -> int3: その入手経路は導かない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもその根城が充当しないとすればそれは導くし引き出しである
事実2: 何もかもは総計であるしさらに創隊する
事実3: もしもその入手経路は導かないとしたら「その根城は御問い合わせ下さらないけどそれは宗谷岬である」ということは成り立たない
事実4: なにがしかのものは総計である
事実5: 「仮に総計が創隊するならばあの入手経路は導かない」ということは成り立つ
事実6: もしある物が総計でないならそれは御問い合わせ下さらないしそれは宗谷岬である
事実7: 「その根城は御問い合わせ下さるし加えて宗谷岬だ」ということは嘘である

仮説: その根城は御問い合わせ下さらないが宗谷岬だ
1. 事実2から、推論1: "「あの三国同盟は総計で更に創隊する」ということは嘘でない"が導かれる
2. 推論1から、推論2: "「総計だし創隊する」物はある"が導かれる
3. 推論2と事実5から、推論3: "その入手経路は導かない"が導かれる
4. 推論3と事実3から、仮説が否定される

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