「「この生活関連は都合するけれど御忙しくない」ということは間違いだ」ということは正しい
fact1: あのホットドッグは荘園公領でないとすると「それは御近付くしおまけに可笑し」ということは事実と異なる fact2: もし「何らかのものは克服し得るししかも荘園公領である」ということは誤りだとしたらそれは伝わり難くない fact3: もしこの祭礼は解説本だとすれば「それは十六年改正でおまけにそれは人民会議であるということはない」ということは成り立たない fact4: 仮に何らかのものは流通過程でないとすれば「それは克服し得るしその上荘園公領である」ということは成り立たない fact5: 「この祭礼は御忙しいけれど伝わり難いということはない」ということは誤りだ fact6: もし仮に「この祭礼は克服し得るし荘園公領だ」ということは誤っていればそれは荘園公領でない fact7: もしも「この生活関連は町村合併促進法でそれに燃え立つ」ということは間違いであるとすれば燃え立たない fact8: この適用例はめぼしい fact9: 「この祭礼は御忙しいししかも伝わり難い」ということは間違っている fact10: 仮に「この適用例は流通過程であるし荘園公領だ」ということは真実でないとしたら荘園公領でない fact11: 仮にこの生活関連は伝わり難くないとすると「その田螺は感性工学でそれは人民会議だ」ということは成り立たない fact12: この適用例は人民会議でない fact13: 「この生活関連は都合するが流通過程でない」ということは成り立たない fact14: 「この祭礼は人民会議でない」ということは確かだ fact15: もしもこの祭礼は流通過程であるとしたら「この生活関連は荘園公領だがしかし克服し得ない」ということは確かでない fact16: この生活関連が都合するがしかし御忙しいということはないならばこの祭礼は克服し得る fact17: 「この適用例は人民会議だということはないしまた十六年改正でない」ということは間違っている fact18: もしこの適用例は人民会議であるということはないとすると「それは流通過程であるしそれに荘園公領だ」ということは成り立たない fact19: もしもなにがしかのものが克服し得るとしたら伝わり難い fact20: 伝わり難くないものは都合するが御忙しくない fact21: この祭礼が伝わり難いならばこの適用例は荘園公領だ fact22: もしもこの適用例が人民会議なら克服し得る fact23: この生活関連は都合する fact24: もし仮に何かは御忙しいとすればそれは都合する fact25: もしもなにがしかのものは人民会議であるならばそれは伝わり難い
void -> assump1: 以下のように仮定する。この生活関連は都合するが御忙しくない; fact16 & assump1 -> int1: この祭礼は克服し得る; fact19 -> int2: この祭礼が克服し得るとすると伝わり難い; int1 & int2 -> int3: この祭礼は伝わり難い; int3 & fact21 -> int4: この適用例は荘園公領である; fact18 & fact12 -> int5: 「この適用例は流通過程であるししかも荘園公領だ」ということは間違いである; fact10 & int5 -> int6: この適用例は荘園公領であるということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「その田螺は感性工学だしまた人民会議だ」ということは成り立たない
$facts$ = fact1: あのホットドッグは荘園公領でないとすると「それは御近付くしおまけに可笑し」ということは事実と異なる fact2: もし「何らかのものは克服し得るししかも荘園公領である」ということは誤りだとしたらそれは伝わり難くない fact3: もしこの祭礼は解説本だとすれば「それは十六年改正でおまけにそれは人民会議であるということはない」ということは成り立たない fact4: 仮に何らかのものは流通過程でないとすれば「それは克服し得るしその上荘園公領である」ということは成り立たない fact5: 「この祭礼は御忙しいけれど伝わり難いということはない」ということは誤りだ fact6: もし仮に「この祭礼は克服し得るし荘園公領だ」ということは誤っていればそれは荘園公領でない fact7: もしも「この生活関連は町村合併促進法でそれに燃え立つ」ということは間違いであるとすれば燃え立たない fact8: この適用例はめぼしい fact9: 「この祭礼は御忙しいししかも伝わり難い」ということは間違っている fact10: 仮に「この適用例は流通過程であるし荘園公領だ」ということは真実でないとしたら荘園公領でない fact11: 仮にこの生活関連は伝わり難くないとすると「その田螺は感性工学でそれは人民会議だ」ということは成り立たない fact12: この適用例は人民会議でない fact13: 「この生活関連は都合するが流通過程でない」ということは成り立たない fact14: 「この祭礼は人民会議でない」ということは確かだ fact15: もしもこの祭礼は流通過程であるとしたら「この生活関連は荘園公領だがしかし克服し得ない」ということは確かでない fact16: この生活関連が都合するがしかし御忙しいということはないならばこの祭礼は克服し得る fact17: 「この適用例は人民会議だということはないしまた十六年改正でない」ということは間違っている fact18: もしこの適用例は人民会議であるということはないとすると「それは流通過程であるしそれに荘園公領だ」ということは成り立たない fact19: もしもなにがしかのものが克服し得るとしたら伝わり難い fact20: 伝わり難くないものは都合するが御忙しくない fact21: この祭礼が伝わり難いならばこの適用例は荘園公領だ fact22: もしもこの適用例が人民会議なら克服し得る fact23: この生活関連は都合する fact24: もし仮に何かは御忙しいとすればそれは都合する fact25: もしもなにがしかのものは人民会議であるならばそれは伝わり難い ; $hypothesis$ = 「「この生活関連は都合するけれど御忙しくない」ということは間違いだ」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この生活関連は都合するが御忙しくない; fact16 & assump1 -> int1: この祭礼は克服し得る; fact19 -> int2: この祭礼が克服し得るとすると伝わり難い; int1 & int2 -> int3: この祭礼は伝わり難い; int3 & fact21 -> int4: この適用例は荘園公領である; fact18 & fact12 -> int5: 「この適用例は流通過程であるししかも荘園公領だ」ということは間違いである; fact10 & int5 -> int6: この適用例は荘園公領であるということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: あのホットドッグは荘園公領でないとすると「それは御近付くしおまけに可笑し」ということは事実と異なる
事実2: もし「何らかのものは克服し得るししかも荘園公領である」ということは誤りだとしたらそれは伝わり難くない
事実3: もしこの祭礼は解説本だとすれば「それは十六年改正でおまけにそれは人民会議であるということはない」ということは成り立たない
事実4: 仮に何らかのものは流通過程でないとすれば「それは克服し得るしその上荘園公領である」ということは成り立たない
事実5: 「この祭礼は御忙しいけれど伝わり難いということはない」ということは誤りだ
事実6: もし仮に「この祭礼は克服し得るし荘園公領だ」ということは誤っていればそれは荘園公領でない
事実7: もしも「この生活関連は町村合併促進法でそれに燃え立つ」ということは間違いであるとすれば燃え立たない
事実8: この適用例はめぼしい
事実9: 「この祭礼は御忙しいししかも伝わり難い」ということは間違っている
事実10: 仮に「この適用例は流通過程であるし荘園公領だ」ということは真実でないとしたら荘園公領でない
事実11: 仮にこの生活関連は伝わり難くないとすると「その田螺は感性工学でそれは人民会議だ」ということは成り立たない
事実12: この適用例は人民会議でない
事実13: 「この生活関連は都合するが流通過程でない」ということは成り立たない
事実14: 「この祭礼は人民会議でない」ということは確かだ
事実15: もしもこの祭礼は流通過程であるとしたら「この生活関連は荘園公領だがしかし克服し得ない」ということは確かでない
事実16: この生活関連が都合するがしかし御忙しいということはないならばこの祭礼は克服し得る
事実17: 「この適用例は人民会議だということはないしまた十六年改正でない」ということは間違っている
事実18: もしこの適用例は人民会議であるということはないとすると「それは流通過程であるしそれに荘園公領だ」ということは成り立たない
事実19: もしもなにがしかのものが克服し得るとしたら伝わり難い
事実20: 伝わり難くないものは都合するが御忙しくない
事実21: この祭礼が伝わり難いならばこの適用例は荘園公領だ
事実22: もしもこの適用例が人民会議なら克服し得る
事実23: この生活関連は都合する
事実24: もし仮に何かは御忙しいとすればそれは都合する
事実25: もしもなにがしかのものは人民会議であるならばそれは伝わり難い

仮説: 「「この生活関連は都合するけれど御忙しくない」ということは間違いだ」ということは正しい
1. 仮定1: 以下のように仮定する。この生活関連は都合するが御忙しくない
2. 事実16と仮定1から、推論1: "この祭礼は克服し得る"が導かれる
3. 事実19から、推論2: "この祭礼が克服し得るとすると伝わり難い"が導かれる
4. 推論1と推論2から、推論3: "この祭礼は伝わり難い"が導かれる
5. 推論3と事実21から、推論4: "この適用例は荘園公領である"が導かれる
6. 事実18と事実12から、推論5: "「この適用例は流通過程であるししかも荘園公領だ」ということは間違いである"が導かれる
7. 事実10と推論5から、推論6: "この適用例は荘園公領であるということはない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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