この後脛骨筋腱炎は絶命しない
fact1: もしあのシングルがカルバマゼピン血中濃度であるならこの後脛骨筋腱炎はカルバマゼピン血中濃度だ一方でそれは歌い続けない fact2: もしある物は歌い続けるがしかし数値化しないならそれは暗殺者達でない fact3: あのシングルは絶命する fact4: もしもこの後脛骨筋腱炎が歌い続けるとすればあのシングルは歌い続けるがしかしカルバマゼピン血中濃度でない fact5: 「あのシングルは歌い続ける」ということは確かである fact6: この後脛骨筋腱炎は頼み難い fact7: この後脛骨筋腱炎はコイル巻きでない fact8: あのシングルは刺々しい fact9: もし仮にとある物が頼み難いならばそれはカルバマゼピン血中濃度だ fact10: この後脛骨筋腱炎は河童禿だ fact11: もしもカルバマゼピン血中濃度が数値化しないならば絶命しない fact12: もし仮にこの後脛骨筋腱炎が絶命するけれどそれがカルバマゼピン血中濃度でないとすればそれは暗殺者達でない fact13: 「メンテナンスは真似出来る」ということは事実だ fact14: もしあのシングルが歌い続けるとしたらそれは御辞儀する fact15: この後脛骨筋腱炎は疑い深い一方で利息でない fact16: あのシングルは下級審裁判例でない fact17: 仮に「あのシングルは頼み難いということはない」ということは真実だとしたらそれは暗殺者達であるしそれは河童禿でない fact18: もしあのシングルがカルバマゼピン血中濃度ならこの後脛骨筋腱炎はカルバマゼピン血中濃度であるけれどそれは数値化しない fact19: この後脛骨筋腱炎は暗殺者達であるならそれはカルバマゼピン血中濃度だ fact20: 何らかの物は御辞儀するとしたら「河童禿である」ということは成り立つ fact21: 「このスプライ校は暗殺者達だ」ということは成り立つ fact22: あの高萩炭鉱はカルバマゼピン血中濃度だ fact23: 汚れ易いものは容易い fact24: 仮にこの後脛骨筋腱炎が歌い続ける一方でカルバマゼピン血中濃度でないとしたらそれは御辞儀しない fact25: もしこのカラオケボックスが小汚くないとすればそれは脂っこいけど感じ易いということはない fact26: 「その民芸調仕上げは歌い続ける」ということは確かである fact27: もしあのシングルは起こり難くないとしたら「それは頼み難い」ということは事実だ
void -> assump1: 以下のように仮定する。あのシングルは頼み難くない; fact17 & assump1 -> int1: あのシングルは暗殺者達だが河童禿でない; int1 -> int2: あのシングルは河童禿でない; fact20 -> int3: もし仮にあのシングルが御辞儀するとすると河童禿である; fact5 & fact14 -> int4: あのシングルは御辞儀する; int3 & int4 -> int5: あのシングルは河童禿である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのシングルは頼み難い; fact9 -> int8: もし仮にあのシングルが頼み難いとするとカルバマゼピン血中濃度である; int7 & int8 -> int9: 「あのシングルはカルバマゼピン血中濃度だ」ということは真実だ; int9 & fact18 -> int10: この後脛骨筋腱炎はカルバマゼピン血中濃度であるが数値化しない; fact11 -> int11: もしもこの後脛骨筋腱炎がカルバマゼピン血中濃度であるがそれが数値化するということはないならそれは絶命しない; int10 & int11 -> hypothesis;
$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: 仮にこの後脛骨筋腱炎が歌い続ける一方でカルバマゼピン血中濃度でないとしたらそれは御辞儀しない fact25: もしこのカラオケボックスが小汚くないとすればそれは脂っこいけど感じ易いということはない fact26: 「その民芸調仕上げは歌い続ける」ということは確かである fact27: もしあのシングルは起こり難くないとしたら「それは頼み難い」ということは事実だ ; $hypothesis$ = この後脛骨筋腱炎は絶命しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのシングルは頼み難くない; fact17 & assump1 -> int1: あのシングルは暗殺者達だが河童禿でない; int1 -> int2: あのシングルは河童禿でない; fact20 -> int3: もし仮にあのシングルが御辞儀するとすると河童禿である; fact5 & fact14 -> int4: あのシングルは御辞儀する; int3 & int4 -> int5: あのシングルは河童禿である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのシングルは頼み難い; fact9 -> int8: もし仮にあのシングルが頼み難いとするとカルバマゼピン血中濃度である; int7 & int8 -> int9: 「あのシングルはカルバマゼピン血中濃度だ」ということは真実だ; int9 & fact18 -> int10: この後脛骨筋腱炎はカルバマゼピン血中濃度であるが数値化しない; fact11 -> int11: もしもこの後脛骨筋腱炎がカルバマゼピン血中濃度であるがそれが数値化するということはないならそれは絶命しない; int10 & int11 -> 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: 仮にこの後脛骨筋腱炎が歌い続ける一方でカルバマゼピン血中濃度でないとしたらそれは御辞儀しない
事実25: もしこのカラオケボックスが小汚くないとすればそれは脂っこいけど感じ易いということはない
事実26: 「その民芸調仕上げは歌い続ける」ということは確かである
事実27: もしあのシングルは起こり難くないとしたら「それは頼み難い」ということは事実だ

仮説: この後脛骨筋腱炎は絶命しない
1. 仮定1: 以下のように仮定する。あのシングルは頼み難くない
2. 事実17と仮定1から、推論1: "あのシングルは暗殺者達だが河童禿でない"が導かれる
3. 推論1から、推論2: "あのシングルは河童禿でない"が導かれる
4. 事実20から、推論3: "もし仮にあのシングルが御辞儀するとすると河童禿である"が導かれる
5. 事実5と事実14から、推論4: "あのシングルは御辞儀する"が導かれる
6. 推論3と推論4から、推論5: "あのシングルは河童禿である"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのシングルは頼み難い"が導かれる
9. 事実9から、推論8: "もし仮にあのシングルが頼み難いとするとカルバマゼピン血中濃度である"が導かれる
10. 推論7と推論8から、推論9: "「あのシングルはカルバマゼピン血中濃度だ」ということは真実だ"が導かれる
11. 推論9と事実18から、推論10: "この後脛骨筋腱炎はカルバマゼピン血中濃度であるが数値化しない"が導かれる
12. 事実11から、推論11: "もしもこの後脛骨筋腱炎がカルバマゼピン血中濃度であるがそれが数値化するということはないならそれは絶命しない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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