この特別市は推認する
fact1: その黄河流域は空々しい fact2: 仮にあるものは近付くということはないなら「推認しないしかつそれは空々しかない」ということは誤っている fact3: この六十余州は機能回復だ fact4: もし仮に「その黄河流域は空々しい」ということは正しいとすればこの六十余州は近付く fact5: 仮にこの六十余州が近付くしまたそれが御疑いであるとすればこの特別市は推認しない fact6: もしこの六十余州は機能回復であるならそれは御疑いだ fact7: もしも「なにがしかの物は推認しないし空々しかない」ということは成り立たないならば推認する
fact4 & fact1 -> int1: 「この六十余州は近付く」ということは確かである; fact3 & fact6 -> int2: この六十余州は御疑いだ; int1 & int2 -> int3: この六十余州は近付くしその上御疑いだ; int3 & fact5 -> hypothesis;
この特別市は推認する
fact8 -> int4: もし「この特別市は推認するということはないし加えてそれは空々しかない」ということは成り立たないなら推認する; fact9 -> int5: もしこの特別市は近付かないなら「それは推認しなくて空々しかない」ということは偽である;
$facts$ = fact1: その黄河流域は空々しい fact2: 仮にあるものは近付くということはないなら「推認しないしかつそれは空々しかない」ということは誤っている fact3: この六十余州は機能回復だ fact4: もし仮に「その黄河流域は空々しい」ということは正しいとすればこの六十余州は近付く fact5: 仮にこの六十余州が近付くしまたそれが御疑いであるとすればこの特別市は推認しない fact6: もしこの六十余州は機能回復であるならそれは御疑いだ fact7: もしも「なにがしかの物は推認しないし空々しかない」ということは成り立たないならば推認する ; $hypothesis$ = この特別市は推認する ; $proof$ = 
fact4 & fact1 -> int1: 「この六十余州は近付く」ということは確かである; fact3 & fact6 -> int2: この六十余州は御疑いだ; int1 & int2 -> int3: この六十余州は近付くしその上御疑いだ; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: その黄河流域は空々しい
事実2: 仮にあるものは近付くということはないなら「推認しないしかつそれは空々しかない」ということは誤っている
事実3: この六十余州は機能回復だ
事実4: もし仮に「その黄河流域は空々しい」ということは正しいとすればこの六十余州は近付く
事実5: 仮にこの六十余州が近付くしまたそれが御疑いであるとすればこの特別市は推認しない
事実6: もしこの六十余州は機能回復であるならそれは御疑いだ
事実7: もしも「なにがしかの物は推認しないし空々しかない」ということは成り立たないならば推認する

仮説: この特別市は推認する
1. 事実4と事実1から、推論1: "「この六十余州は近付く」ということは確かである"が導かれる
2. 事実3と事実6から、推論2: "この六十余州は御疑いだ"が導かれる
3. 推論1と推論2から、推論3: "この六十余州は近付くしその上御疑いだ"が導かれる
4. 推論3と事実5から、仮説が否定される

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