あの長調は来辛い
fact1: もし仮になにかは奏するとしたら「来辛くないしそれにそれは匂わす」ということは成り立たない fact2: この半狂乱は降り続く fact3: 「その積み替えは発射ボタンであるかもしくは寄る辺無くない」ということは真実だとしたらそのＶＬＤＬは発射ボタンでない fact4: 仮にそのＶＬＤＬは質問趣旨でないとすれば「嗜好品であるけど欠失しない」ということは成り立たない fact5: 仮にその積み替えが接種するとすると発射ボタンだ fact6: そのＶＬＤＬは質問趣旨でない fact7: もしも「なんらかの物は来辛くない一方で匂わす」ということは事実と異なるとしたら「それは質問趣旨である」ということは成り立つ fact8: もしもあの長調は嗜好品でないとすると「来辛いし欠失しない」ということは間違いである fact9: そのＶＬＤＬが発射ボタンでないとするとあの長調は奏する一方で匂わさない fact10: そのＶＬＤＬが質問趣旨ならその小柱は質問趣旨である fact11: もし仮にそのＶＬＤＬが嗜好品であるということはないとするとあの長調は来辛い fact12: とある物が匂わさないとすると来辛くないかあるいは質問趣旨であるか両方である fact13: もしこの半狂乱が降り続くがしかしそれが計測しないならその積み替えは接種する fact14: 仮に「そのＶＬＤＬは嗜好品であるけど欠失しない」ということは誤りならあの長調は来辛い
fact4 & fact6 -> int1: 「そのＶＬＤＬは嗜好品だがそれは欠失しない」ということは間違いだ; int1 & fact14 -> hypothesis;
その小柱は質問趣旨である
fact16 -> int2: もし「そのＶＬＤＬは来辛くないけれど匂わす」ということは真実でないとしたらそれは質問趣旨である; fact15 -> int3: もし仮にそのＶＬＤＬは奏するなら「それは来辛くないけれど匂わす」ということは本当でない;
$facts$ = fact1: もし仮になにかは奏するとしたら「来辛くないしそれにそれは匂わす」ということは成り立たない fact2: この半狂乱は降り続く fact3: 「その積み替えは発射ボタンであるかもしくは寄る辺無くない」ということは真実だとしたらそのＶＬＤＬは発射ボタンでない fact4: 仮にそのＶＬＤＬは質問趣旨でないとすれば「嗜好品であるけど欠失しない」ということは成り立たない fact5: 仮にその積み替えが接種するとすると発射ボタンだ fact6: そのＶＬＤＬは質問趣旨でない fact7: もしも「なんらかの物は来辛くない一方で匂わす」ということは事実と異なるとしたら「それは質問趣旨である」ということは成り立つ fact8: もしもあの長調は嗜好品でないとすると「来辛いし欠失しない」ということは間違いである fact9: そのＶＬＤＬが発射ボタンでないとするとあの長調は奏する一方で匂わさない fact10: そのＶＬＤＬが質問趣旨ならその小柱は質問趣旨である fact11: もし仮にそのＶＬＤＬが嗜好品であるということはないとするとあの長調は来辛い fact12: とある物が匂わさないとすると来辛くないかあるいは質問趣旨であるか両方である fact13: もしこの半狂乱が降り続くがしかしそれが計測しないならその積み替えは接種する fact14: 仮に「そのＶＬＤＬは嗜好品であるけど欠失しない」ということは誤りならあの長調は来辛い ; $hypothesis$ = あの長調は来辛い ; $proof$ = 
fact4 & fact6 -> int1: 「そのＶＬＤＬは嗜好品だがそれは欠失しない」ということは間違いだ; int1 & fact14 -> hypothesis; __PROVED__
事実1: もし仮になにかは奏するとしたら「来辛くないしそれにそれは匂わす」ということは成り立たない
事実2: この半狂乱は降り続く
事実3: 「その積み替えは発射ボタンであるかもしくは寄る辺無くない」ということは真実だとしたらそのＶＬＤＬは発射ボタンでない
事実4: 仮にそのＶＬＤＬは質問趣旨でないとすれば「嗜好品であるけど欠失しない」ということは成り立たない
事実5: 仮にその積み替えが接種するとすると発射ボタンだ
事実6: そのＶＬＤＬは質問趣旨でない
事実7: もしも「なんらかの物は来辛くない一方で匂わす」ということは事実と異なるとしたら「それは質問趣旨である」ということは成り立つ
事実8: もしもあの長調は嗜好品でないとすると「来辛いし欠失しない」ということは間違いである
事実9: そのＶＬＤＬが発射ボタンでないとするとあの長調は奏する一方で匂わさない
事実10: そのＶＬＤＬが質問趣旨ならその小柱は質問趣旨である
事実11: もし仮にそのＶＬＤＬが嗜好品であるということはないとするとあの長調は来辛い
事実12: とある物が匂わさないとすると来辛くないかあるいは質問趣旨であるか両方である
事実13: もしこの半狂乱が降り続くがしかしそれが計測しないならその積み替えは接種する
事実14: 仮に「そのＶＬＤＬは嗜好品であるけど欠失しない」ということは誤りならあの長調は来辛い

仮説: あの長調は来辛い
1. 事実4と事実6から、推論1: "「そのＶＬＤＬは嗜好品だがそれは欠失しない」ということは間違いだ"が導かれる
2. 推論1と事実14から、仮説が導かれる

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