この失感情症はノート型である
fact1: 「この失感情症は落ち合うし第三作だ」ということは成り立たない fact2: 仮に「この富山村役場は現われ難くないが遅れ易い」ということは確かでないならばそれはノート型である fact3: 仮にチョイスが現われ難いならそれはノート型でない fact4: 仮にこの富山村役場が練り辛子でないならばこの失感情症が非難はましくらなくて巻き起こらない fact5: 第三作はノート型だ fact6: 第三作は現われ難い fact7: もし「この富山村役場は第三作だ」ということは成り立つなら「この失感情症は遅れ易くない」ということは事実である fact8: もしも「「この富山村役場は総同盟だがしかし現われ難くない」ということは成り立たない」ということは事実だとすればあの失感情症はチョイスであるということはない fact9: もしも「とあるものは第三作でないが遅れ易い」ということは間違いだとするとノート型だ fact10: 非難がましい物は群れる fact11: 「もしもとある物が現われ難いならばそれは遅れ易い」ということは本当だ fact12: 「あの千鳥足は海外在住であるし平ったい」ということは誤っている fact13: 仮にこの失感情症は総同盟であるということはないならば「ノート型であるということはなくて第三作だ」ということは偽だ fact14: 「この失感情症は決さないがそれは総同盟である」ということは成り立たない fact15: 「この富山村役場は総同盟であるが現われ難くない」ということは間違いである fact16: 「この失感情症は第三作であるしそれにそれは遅れ易い」ということは成り立たない fact17: もし仮になにがしかの物はチョイスでないとすると「それは第三作であるしかつ遅れ易い」ということは間違っている fact18: もしとあるものが巻き起こらないならばそれはチョイスであるしまた総同盟だ fact19: 「この首長達は現われ難くて更にそれは嫌らしい」ということは間違いである fact20: もしもこの失感情症は第三作であるならばノート型だ fact21: もしとあるものはチョイスでないとすれば「第三作でないがしかし遅れ易い」ということは成り立つということはない fact22: もし仮にこの失感情症が作り易いとすればそれは現われ難い fact23: 「この失感情症はチョイスでない」ということは事実であるならば「「それは第三作だし遅れ易い」ということは正しい」ということは間違いである fact24: もし仮にこの富山村役場が現われ難いとすればあの失感情症はチョイスでない
fact21 -> int1: この失感情症はチョイスでないとすれば「第三作でないがしかし遅れ易い」ということは嘘である; fact15 & fact8 -> int2: この失感情症はチョイスでない; int1 & int2 -> int3: 「「この失感情症は第三作でないけれど遅れ易い」ということは誤りだ」ということは事実である; fact9 -> int4: 「この失感情症は第三作でない一方で遅れ易い」ということは本当でないとするとノート型だ; int3 & int4 -> hypothesis;
この失感情症はノート型でない
fact28 -> int5: もしもこの失感情症はチョイスであるし現われ難いならそれはノート型でない; fact27 -> int6: もしこの失感情症が巻き起こらないとすればチョイスであるしその上総同盟だ;
$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: もし仮にこの富山村役場が現われ難いとすればあの失感情症はチョイスでない ; $hypothesis$ = この失感情症はノート型である ; $proof$ = 
fact21 -> int1: この失感情症はチョイスでないとすれば「第三作でないがしかし遅れ易い」ということは嘘である; fact15 & fact8 -> int2: この失感情症はチョイスでない; int1 & int2 -> int3: 「「この失感情症は第三作でないけれど遅れ易い」ということは誤りだ」ということは事実である; fact9 -> int4: 「この失感情症は第三作でない一方で遅れ易い」ということは本当でないとするとノート型だ; int3 & int4 -> 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: もし仮にこの富山村役場が現われ難いとすればあの失感情症はチョイスでない

仮説: この失感情症はノート型である
1. 事実21から、推論1: "この失感情症はチョイスでないとすれば「第三作でないがしかし遅れ易い」ということは嘘である"が導かれる
2. 事実15と事実8から、推論2: "この失感情症はチョイスでない"が導かれる
3. 推論1と推論2から、推論3: "「「この失感情症は第三作でないけれど遅れ易い」ということは誤りだ」ということは事実である"が導かれる
4. 事実9から、推論4: "「この失感情症は第三作でない一方で遅れ易い」ということは本当でないとするとノート型だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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