この先天性は目覚ましい
fact1: 仮にその妥当性等は区画線であるとすると「この先天性は目覚ましいがしかし見辛くない」ということは嘘だ fact2: あの五十一ページ参照は餓鬼っぽいしそれは遣り易い fact3: 餓鬼っぽいものは使用回数でない fact4: この中堅クラスが区画線でないとするとこの先天性は目覚ましい fact5: もしこの先天性は厳めしい一方で長たらしくないとすれば「あの論文発表は見辛くない」ということは確かだ fact6: 目覚ましいものは区画線である fact7: もし仮に「あの五十一ページ参照は長たらしい」ということは成り立つとすればその妥当性等は区画線だ fact8: この介護等は長たらしくない fact9: もし仮にその妥当性等が歌わないならこの先天性は厳めしいがしかし長たらしくない fact10: 区画線は苦しい一方で撒き散らさない fact11: 「この中堅クラスは長たらしいしまた見辛い」ということは成り立たない fact12: 仮にある物が使用回数だとすれば歌わない fact13: もし仮に「「この中堅クラスは長たらしいしまた見辛い」ということは間違いでない」ということは嘘だとすればそれは見辛くない fact14: もし仮になにかは見辛くないなら「それは苦しいしそれにそれは撒き散らさない」ということは誤りだ fact15: 仮にあの五十一ページ参照が使用回数でないとしたらその妥当性等は使用回数である
fact10 -> int1: 仮にこの中堅クラスが区画線だとしたら苦しいけど撒き散らさない; void -> assump1: 以下のように仮定する。この中堅クラスは区画線だ; int1 & assump1 -> int2: この中堅クラスは苦しいがしかし撒き散らさない; fact14 -> int3: 「この中堅クラスは見辛くない」ということは成り立つとすれば「それは苦しいが撒き散らさない」ということは偽である; fact11 & fact13 -> int4: この中堅クラスは見辛くない; int3 & int4 -> int5: 「この中堅クラスは苦しいがそれは撒き散らさない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この中堅クラスは区画線でない; int7 & fact4 -> hypothesis;
この先天性は目覚ましくない
$facts$ = fact1: 仮にその妥当性等は区画線であるとすると「この先天性は目覚ましいがしかし見辛くない」ということは嘘だ fact2: あの五十一ページ参照は餓鬼っぽいしそれは遣り易い fact3: 餓鬼っぽいものは使用回数でない fact4: この中堅クラスが区画線でないとするとこの先天性は目覚ましい fact5: もしこの先天性は厳めしい一方で長たらしくないとすれば「あの論文発表は見辛くない」ということは確かだ fact6: 目覚ましいものは区画線である fact7: もし仮に「あの五十一ページ参照は長たらしい」ということは成り立つとすればその妥当性等は区画線だ fact8: この介護等は長たらしくない fact9: もし仮にその妥当性等が歌わないならこの先天性は厳めしいがしかし長たらしくない fact10: 区画線は苦しい一方で撒き散らさない fact11: 「この中堅クラスは長たらしいしまた見辛い」ということは成り立たない fact12: 仮にある物が使用回数だとすれば歌わない fact13: もし仮に「「この中堅クラスは長たらしいしまた見辛い」ということは間違いでない」ということは嘘だとすればそれは見辛くない fact14: もし仮になにかは見辛くないなら「それは苦しいしそれにそれは撒き散らさない」ということは誤りだ fact15: 仮にあの五十一ページ参照が使用回数でないとしたらその妥当性等は使用回数である ; $hypothesis$ = この先天性は目覚ましい ; $proof$ = 
fact10 -> int1: 仮にこの中堅クラスが区画線だとしたら苦しいけど撒き散らさない; void -> assump1: 以下のように仮定する。この中堅クラスは区画線だ; int1 & assump1 -> int2: この中堅クラスは苦しいがしかし撒き散らさない; fact14 -> int3: 「この中堅クラスは見辛くない」ということは成り立つとすれば「それは苦しいが撒き散らさない」ということは偽である; fact11 & fact13 -> int4: この中堅クラスは見辛くない; int3 & int4 -> int5: 「この中堅クラスは苦しいがそれは撒き散らさない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この中堅クラスは区画線でない; int7 & fact4 -> hypothesis; __PROVED__
事実1: 仮にその妥当性等は区画線であるとすると「この先天性は目覚ましいがしかし見辛くない」ということは嘘だ
事実2: あの五十一ページ参照は餓鬼っぽいしそれは遣り易い
事実3: 餓鬼っぽいものは使用回数でない
事実4: この中堅クラスが区画線でないとするとこの先天性は目覚ましい
事実5: もしこの先天性は厳めしい一方で長たらしくないとすれば「あの論文発表は見辛くない」ということは確かだ
事実6: 目覚ましいものは区画線である
事実7: もし仮に「あの五十一ページ参照は長たらしい」ということは成り立つとすればその妥当性等は区画線だ
事実8: この介護等は長たらしくない
事実9: もし仮にその妥当性等が歌わないならこの先天性は厳めしいがしかし長たらしくない
事実10: 区画線は苦しい一方で撒き散らさない
事実11: 「この中堅クラスは長たらしいしまた見辛い」ということは成り立たない
事実12: 仮にある物が使用回数だとすれば歌わない
事実13: もし仮に「「この中堅クラスは長たらしいしまた見辛い」ということは間違いでない」ということは嘘だとすればそれは見辛くない
事実14: もし仮になにかは見辛くないなら「それは苦しいしそれにそれは撒き散らさない」ということは誤りだ
事実15: 仮にあの五十一ページ参照が使用回数でないとしたらその妥当性等は使用回数である

仮説: この先天性は目覚ましい
1. 事実10から、推論1: "仮にこの中堅クラスが区画線だとしたら苦しいけど撒き散らさない"が導かれる
2. 仮定1: 以下のように仮定する。この中堅クラスは区画線だ
3. 推論1と仮定1から、推論2: "この中堅クラスは苦しいがしかし撒き散らさない"が導かれる
4. 事実14から、推論3: "「この中堅クラスは見辛くない」ということは成り立つとすれば「それは苦しいが撒き散らさない」ということは偽である"が導かれる
5. 事実11と事実13から、推論4: "この中堅クラスは見辛くない"が導かれる
6. 推論3と推論4から、推論5: "「この中堅クラスは苦しいがそれは撒き散らさない」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この中堅クラスは区画線でない"が導かれる
9. 推論7と事実4から、仮説が導かれる

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