「もし仮に「この御堀端は入港しない」ということは真実だとすれば「この広東人は考査契約でないし情け深くない」ということは成り立つということはない」ということは事実と異なる
fact1: もし仮にあの開成所版が指定するとしたらこの御堀端は入港する fact2: もし仮にあの開成所版は再就職しないとすれば「この広東人は情け深くないしそれは入港しない」ということは誤っている fact3: もし「この御堀端は入港する」ということは間違っているとすればこの広東人は考査契約でないし情け深いということはない fact4: この広東人は考査契約でなくてしかも情け深くない fact5: 仮にあの開成所版は再就職すれば「この広東人は考査契約でないがしかし情け深い」ということは成り立つということはない fact6: 「この広東人は考査契約である一方でそれは情け深くない」ということは成り立たない fact7: 「もし仮にあの開成所版は指定しないとしたら「この広東人は再就職するけれどそれは考査契約でない」ということは成り立たない」ということは真実だ fact8: 「「この御堀端は入港する」ということは成り立てば「この広東人は再就職しないし加えて考査契約でない」ということは真実でない」ということは事実である fact9: もしもあの開成所版が指定しないならそれは再就職する fact10: あの開成所版は再就職するとすれば「この広東人は考査契約でないしまた情け深くない」ということは間違いである fact11: もしもこの広東人が再就職するとすればあの開成所版は考査契約だ fact12: あの開成所版は考査契約だ
void -> assump1: 以下のように仮定する。あの開成所版は指定する; fact1 & assump1 -> int1: 「この御堀端は入港する」ということは真実である; void -> assump2: 以下のように仮定する。「この御堀端は入港するということはない」ということは真実である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの開成所版は指定しない; int3 & fact9 -> int4: あの開成所版は再就職する; int4 & fact10 -> int5: 「この広東人は考査契約でなくてそれは情け深くない」ということは間違っている; [assump2] & int5 -> hypothesis;
$facts$ = fact1: もし仮にあの開成所版が指定するとしたらこの御堀端は入港する fact2: もし仮にあの開成所版は再就職しないとすれば「この広東人は情け深くないしそれは入港しない」ということは誤っている fact3: もし「この御堀端は入港する」ということは間違っているとすればこの広東人は考査契約でないし情け深いということはない fact4: この広東人は考査契約でなくてしかも情け深くない fact5: 仮にあの開成所版は再就職すれば「この広東人は考査契約でないがしかし情け深い」ということは成り立つということはない fact6: 「この広東人は考査契約である一方でそれは情け深くない」ということは成り立たない fact7: 「もし仮にあの開成所版は指定しないとしたら「この広東人は再就職するけれどそれは考査契約でない」ということは成り立たない」ということは真実だ fact8: 「「この御堀端は入港する」ということは成り立てば「この広東人は再就職しないし加えて考査契約でない」ということは真実でない」ということは事実である fact9: もしもあの開成所版が指定しないならそれは再就職する fact10: あの開成所版は再就職するとすれば「この広東人は考査契約でないしまた情け深くない」ということは間違いである fact11: もしもこの広東人が再就職するとすればあの開成所版は考査契約だ fact12: あの開成所版は考査契約だ ; $hypothesis$ = 「もし仮に「この御堀端は入港しない」ということは真実だとすれば「この広東人は考査契約でないし情け深くない」ということは成り立つということはない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの開成所版は指定する; fact1 & assump1 -> int1: 「この御堀端は入港する」ということは真実である; void -> assump2: 以下のように仮定する。「この御堀端は入港するということはない」ということは真実である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの開成所版は指定しない; int3 & fact9 -> int4: あの開成所版は再就職する; int4 & fact10 -> int5: 「この広東人は考査契約でなくてそれは情け深くない」ということは間違っている; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの開成所版が指定するとしたらこの御堀端は入港する
事実2: もし仮にあの開成所版は再就職しないとすれば「この広東人は情け深くないしそれは入港しない」ということは誤っている
事実3: もし「この御堀端は入港する」ということは間違っているとすればこの広東人は考査契約でないし情け深いということはない
事実4: この広東人は考査契約でなくてしかも情け深くない
事実5: 仮にあの開成所版は再就職すれば「この広東人は考査契約でないがしかし情け深い」ということは成り立つということはない
事実6: 「この広東人は考査契約である一方でそれは情け深くない」ということは成り立たない
事実7: 「もし仮にあの開成所版は指定しないとしたら「この広東人は再就職するけれどそれは考査契約でない」ということは成り立たない」ということは真実だ
事実8: 「「この御堀端は入港する」ということは成り立てば「この広東人は再就職しないし加えて考査契約でない」ということは真実でない」ということは事実である
事実9: もしもあの開成所版が指定しないならそれは再就職する
事実10: あの開成所版は再就職するとすれば「この広東人は考査契約でないしまた情け深くない」ということは間違いである
事実11: もしもこの広東人が再就職するとすればあの開成所版は考査契約だ
事実12: あの開成所版は考査契約だ

仮説: 「もし仮に「この御堀端は入港しない」ということは真実だとすれば「この広東人は考査契約でないし情け深くない」ということは成り立つということはない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。あの開成所版は指定する
2. 事実1と仮定1から、推論1: "「この御堀端は入港する」ということは真実である"が導かれる
3. 仮定2: 以下のように仮定する。「この御堀端は入港するということはない」ということは真実である
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの開成所版は指定しない"が導かれる
6. 推論3と事実9から、推論4: "あの開成所版は再就職する"が導かれる
7. 推論4と事実10から、推論5: "「この広東人は考査契約でなくてそれは情け深くない」ということは間違っている"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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