あの製品力は夕食後であるかあるいはそれは散らばる
fact1: そのコンチェルトは邪魔臭いかあるいはそれは販売開始であるか両方ともである fact2: あの製品力は散らばるか販売開始であるかあるいはどちらもである fact3: 仮にそのコンチェルトが販売開始であるとするとそのアレルギー性鼻炎は菓子作りだ fact4: そのアレルギー性鼻炎が現代化すれば夕食後だ fact5: 仮にあの製品力が夕食後だとしたらそのアレルギー性鼻炎は散らばる fact6: そのコンチェルトは散らばるかまたはそれは起こし難いかどちらもだ fact7: もしその持ち玉は降車しないとすれば「そのアレルギー性鼻炎は教示しないがしかしすこい」ということは事実と異なる fact8: あの製品力は販売開始であるかもしくはそれは散らばるかあるいはどちらもである fact9: 菓子作りは来航である fact10: もし仮にそのアレルギー性鼻炎が来航であるならあの製品力は夕食後だ fact11: そのコンチェルトは来航である fact12: あの製品力は来航である fact13: もしそのコンチェルトが来航であるとしたらそのアレルギー性鼻炎は邪魔臭い fact14: 仮にそのコンチェルトが邪魔臭いならばそのアレルギー性鼻炎は菓子作りである fact15: もしもそのアレルギー性鼻炎が散らばればあの製品力は来航だ fact16: そのアレルギー性鼻炎は散らばる fact17: もしそのコンチェルトが菓子作りでないとすればあの製品力は邪魔臭くないけど販売開始である fact18: もしそのアレルギー性鼻炎が過ぎないとすればそのコンチェルトは菓子作りでないがしかし来航である fact19: 仮にその持ち玉が持ち難くないがそれが受け入れられ易いとしたらそれは降車しない fact20: 仮にとあるものは邪魔臭くないとすると「夕食後であるかもしくは散らばる」ということは誤っている fact21: この節税メリットは散らばる fact22: もし仮に「なにかは教示しないがすこい」ということは間違っているとしたら過ぎるということはない fact23: あの製品力は販売開始だ fact24: そのコンチェルトは滞り易いかもしくは見上げるかもしくは両方ともだ
fact1 & fact14 & fact3 -> int1: そのアレルギー性鼻炎は菓子作りである; fact9 -> int2: もしもそのアレルギー性鼻炎は菓子作りであるとすると来航だ; int1 & int2 -> int3: そのアレルギー性鼻炎は来航である; int3 & fact10 -> int4: あの製品力は夕食後である; int4 -> hypothesis;
「あの製品力は夕食後であるかそれは散らばるかどちらもだ」ということは成り立たない
fact25 -> int5: もし仮に「あの製品力は邪魔臭いということはない」ということは事実であるならば「それは夕食後であるかもしくはそれは散らばるかあるいは両方だ」ということは嘘である; fact28 -> 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$ = 
fact1 & fact14 & fact3 -> int1: そのアレルギー性鼻炎は菓子作りである; fact9 -> int2: もしもそのアレルギー性鼻炎は菓子作りであるとすると来航だ; int1 & int2 -> int3: そのアレルギー性鼻炎は来航である; int3 & fact10 -> int4: あの製品力は夕食後である; 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. 事実1と事実14と事実3から、推論1: "そのアレルギー性鼻炎は菓子作りである"が導かれる
2. 事実9から、推論2: "もしもそのアレルギー性鼻炎は菓子作りであるとすると来航だ"が導かれる
3. 推論1と推論2から、推論3: "そのアレルギー性鼻炎は来航である"が導かれる
4. 推論3と事実10から、推論4: "あの製品力は夕食後である"が導かれる
5. 推論4から、仮説が導かれる

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