あの大当たり時は夕焼けであるということはない
fact1: 仮に誇らしくないものは生え始めるなら「夕焼けでない」ということは本当である fact2: あの大当たり時は登録免許税納付用台紙である fact3: 「仮にあの都市伝説が上がり易くないとすればあの大当たり時は誇らしくないがしかし生え始める」ということは成り立つ fact4: 「あの都市伝説は生え始める」ということは真実だ fact5: もしも「何かは上がり易いけれど耐え得ない」ということは成り立たないとしたら上がり易いということはない fact6: 仮になんらかの物が口承だとすれば感染し易い fact7: 「もしもあの都市伝説が上がり易くないとすればその順守事項は誇らしくて生え始める」ということは成り立つ fact8: もしもあの都市伝説が上がり易いなら生え始める fact9: 仮にあの都市伝説が生え始めればこの鶺鴒は誇らしい fact10: この鶺鴒は登録免許税納付用台紙でないならば「あの大当たり時は夕焼けでかつ登録免許税納付用台紙である」ということは成り立つ fact11: もしなにかは誇らしいとすればそれは上がり易い fact12: もしなにがしかのものが上がり易いならばそれは登録免許税納付用台紙でない
fact9 & fact4 -> int1: この鶺鴒は誇らしい; fact11 -> int2: もし仮に「この鶺鴒は誇らしい」ということは正しいとすると上がり易い; int1 & int2 -> int3: この鶺鴒は上がり易い; fact12 -> int4: 仮にこの鶺鴒が上がり易いならばそれは登録免許税納付用台紙でない; int3 & int4 -> int5: この鶺鴒は登録免許税納付用台紙だということはない; int5 & fact10 -> int6: あの大当たり時は夕焼けだし登録免許税納付用台紙だ; int6 -> hypothesis;
あの大当たり時は夕焼けでない
fact13 -> int7: 「もし仮に「あの大当たり時は誇らしくないが生え始める」ということは本当ならばあの大当たり時は夕焼けでない」ということは真実である;
$facts$ = fact1: 仮に誇らしくないものは生え始めるなら「夕焼けでない」ということは本当である fact2: あの大当たり時は登録免許税納付用台紙である fact3: 「仮にあの都市伝説が上がり易くないとすればあの大当たり時は誇らしくないがしかし生え始める」ということは成り立つ fact4: 「あの都市伝説は生え始める」ということは真実だ fact5: もしも「何かは上がり易いけれど耐え得ない」ということは成り立たないとしたら上がり易いということはない fact6: 仮になんらかの物が口承だとすれば感染し易い fact7: 「もしもあの都市伝説が上がり易くないとすればその順守事項は誇らしくて生え始める」ということは成り立つ fact8: もしもあの都市伝説が上がり易いなら生え始める fact9: 仮にあの都市伝説が生え始めればこの鶺鴒は誇らしい fact10: この鶺鴒は登録免許税納付用台紙でないならば「あの大当たり時は夕焼けでかつ登録免許税納付用台紙である」ということは成り立つ fact11: もしなにかは誇らしいとすればそれは上がり易い fact12: もしなにがしかのものが上がり易いならばそれは登録免許税納付用台紙でない ; $hypothesis$ = あの大当たり時は夕焼けであるということはない ; $proof$ = 
fact9 & fact4 -> int1: この鶺鴒は誇らしい; fact11 -> int2: もし仮に「この鶺鴒は誇らしい」ということは正しいとすると上がり易い; int1 & int2 -> int3: この鶺鴒は上がり易い; fact12 -> int4: 仮にこの鶺鴒が上がり易いならばそれは登録免許税納付用台紙でない; int3 & int4 -> int5: この鶺鴒は登録免許税納付用台紙だということはない; int5 & fact10 -> int6: あの大当たり時は夕焼けだし登録免許税納付用台紙だ; int6 -> hypothesis; __DISPROVED__
事実1: 仮に誇らしくないものは生え始めるなら「夕焼けでない」ということは本当である
事実2: あの大当たり時は登録免許税納付用台紙である
事実3: 「仮にあの都市伝説が上がり易くないとすればあの大当たり時は誇らしくないがしかし生え始める」ということは成り立つ
事実4: 「あの都市伝説は生え始める」ということは真実だ
事実5: もしも「何かは上がり易いけれど耐え得ない」ということは成り立たないとしたら上がり易いということはない
事実6: 仮になんらかの物が口承だとすれば感染し易い
事実7: 「もしもあの都市伝説が上がり易くないとすればその順守事項は誇らしくて生え始める」ということは成り立つ
事実8: もしもあの都市伝説が上がり易いなら生え始める
事実9: 仮にあの都市伝説が生え始めればこの鶺鴒は誇らしい
事実10: この鶺鴒は登録免許税納付用台紙でないならば「あの大当たり時は夕焼けでかつ登録免許税納付用台紙である」ということは成り立つ
事実11: もしなにかは誇らしいとすればそれは上がり易い
事実12: もしなにがしかのものが上がり易いならばそれは登録免許税納付用台紙でない

仮説: あの大当たり時は夕焼けであるということはない
1. 事実9と事実4から、推論1: "この鶺鴒は誇らしい"が導かれる
2. 事実11から、推論2: "もし仮に「この鶺鴒は誇らしい」ということは正しいとすると上がり易い"が導かれる
3. 推論1と推論2から、推論3: "この鶺鴒は上がり易い"が導かれる
4. 事実12から、推論4: "仮にこの鶺鴒が上がり易いならばそれは登録免許税納付用台紙でない"が導かれる
5. 推論3と推論4から、推論5: "この鶺鴒は登録免許税納付用台紙だということはない"が導かれる
6. 推論5と事実10から、推論6: "あの大当たり時は夕焼けだし登録免許税納付用台紙だ"が導かれる
7. 推論6から、仮説が否定される

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