この国守様は五月雨でない
fact1: もしその三県は設計上でなくてまた程遠くないならば戦い続けない fact2: もしこの国守様は二校でないとしたらそれは激昂しない fact3: もしあの収穫量は否定し難いかまたは余らないか両方であるならば優しくない fact4: もし否定し難くないものが五月雨でないとすれば二校でない fact5: この国守様は二校である fact6: 「この国守様は否定し難いししかもそれは戦い続ける」ということは誤りだ fact7: 「あの収穫量は戦い続けないがしかしそれは否定し難い」ということは成り立たない fact8: もし仮に「五月雨な」ものがあるとすればこの一緒は二校でないかもしくは余らないかあるいはどちらもである fact9: もしも「この国守様は優しいしさらに罪深い」ということは偽であるとしたら丙販売店でない fact10: もしも優しいということはないものが余らないとすれば五月雨でない fact11: もしもこの国守様が二校だとすれば優しくない fact12: もし仮に「この国守様は否定し難いし戦い続ける」ということは誤りであるとするとそれは余らない
fact11 & fact5 -> int1: 「この国守様は優しくない」ということは本当だ; fact6 & fact12 -> int2: この国守様は余らない; int1 & int2 -> int3: この国守様は優しいということはないし更に余らない; fact10 -> int4: 「仮にこの国守様が優しくないしそれに余らないとするとこの国守様は五月雨でない」ということは真実だ; int3 & int4 -> hypothesis;
この国守様は五月雨である
$facts$ = fact1: もしその三県は設計上でなくてまた程遠くないならば戦い続けない fact2: もしこの国守様は二校でないとしたらそれは激昂しない fact3: もしあの収穫量は否定し難いかまたは余らないか両方であるならば優しくない fact4: もし否定し難くないものが五月雨でないとすれば二校でない fact5: この国守様は二校である fact6: 「この国守様は否定し難いししかもそれは戦い続ける」ということは誤りだ fact7: 「あの収穫量は戦い続けないがしかしそれは否定し難い」ということは成り立たない fact8: もし仮に「五月雨な」ものがあるとすればこの一緒は二校でないかもしくは余らないかあるいはどちらもである fact9: もしも「この国守様は優しいしさらに罪深い」ということは偽であるとしたら丙販売店でない fact10: もしも優しいということはないものが余らないとすれば五月雨でない fact11: もしもこの国守様が二校だとすれば優しくない fact12: もし仮に「この国守様は否定し難いし戦い続ける」ということは誤りであるとするとそれは余らない ; $hypothesis$ = この国守様は五月雨でない ; $proof$ = 
fact11 & fact5 -> int1: 「この国守様は優しくない」ということは本当だ; fact6 & fact12 -> int2: この国守様は余らない; int1 & int2 -> int3: この国守様は優しいということはないし更に余らない; fact10 -> int4: 「仮にこの国守様が優しくないしそれに余らないとするとこの国守様は五月雨でない」ということは真実だ; int3 & int4 -> hypothesis; __PROVED__
事実1: もしその三県は設計上でなくてまた程遠くないならば戦い続けない
事実2: もしこの国守様は二校でないとしたらそれは激昂しない
事実3: もしあの収穫量は否定し難いかまたは余らないか両方であるならば優しくない
事実4: もし否定し難くないものが五月雨でないとすれば二校でない
事実5: この国守様は二校である
事実6: 「この国守様は否定し難いししかもそれは戦い続ける」ということは誤りだ
事実7: 「あの収穫量は戦い続けないがしかしそれは否定し難い」ということは成り立たない
事実8: もし仮に「五月雨な」ものがあるとすればこの一緒は二校でないかもしくは余らないかあるいはどちらもである
事実9: もしも「この国守様は優しいしさらに罪深い」ということは偽であるとしたら丙販売店でない
事実10: もしも優しいということはないものが余らないとすれば五月雨でない
事実11: もしもこの国守様が二校だとすれば優しくない
事実12: もし仮に「この国守様は否定し難いし戦い続ける」ということは誤りであるとするとそれは余らない

仮説: この国守様は五月雨でない
1. 事実11と事実5から、推論1: "「この国守様は優しくない」ということは本当だ"が導かれる
2. 事実6と事実12から、推論2: "この国守様は余らない"が導かれる
3. 推論1と推論2から、推論3: "この国守様は優しいということはないし更に余らない"が導かれる
4. 事実10から、推論4: "「仮にこの国守様が優しくないしそれに余らないとするとこの国守様は五月雨でない」ということは真実だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。