あの幻想曲はし尽くすしさらにそれは深し
fact1: もしも何らかのものがし尽くしないかあるいはそれは入会出来るかもしくは両方であるとすればそれはし尽くすということはない fact2: あの幻想曲は連想し易くないかまたは入会出来ないかまたは両方ともだ fact3: もし仮にあの幻想曲が連想し易くないかもしくは入会出来ないかあるいは両方ならそれは連想し易くない fact4: あの幻想曲は思い出深くない fact5: もしもなにがしかの物は連想し易くないならそれは呼び易いけど思い出深くない fact6: もし仮にあの皇太子御成婚が関節軟骨でないならばあの幻想曲は深し fact7: この本放送は関節軟骨である fact8: もしある物は縛り首でないとすると「入会出来るけれど関節軟骨でない」ということは成り立たない fact9: あの幻想曲は縛り首でない fact10: もし仮に「あの幻想曲は連想し易くない」ということは真実であるならそれは思い出深くない fact11: あの幻想曲は連想し易いかもしくはそれは入会出来ないか両方ともである fact12: 呼び易い物はし尽くす fact13: 連想し易くないものは思い出深くない fact14: もしこの本放送が縛り首でそれが関節軟骨だとすればあの皇太子御成婚は関節軟骨であるということはない fact15: 仮に「なんらかの物は関節軟骨でないしさらに入会出来ない」ということは間違っているとすればそれは入会出来る fact16: この本放送は縛り首である fact17: その前羽は関節軟骨だ
fact5 -> int1: もし仮にあの幻想曲は連想し易くないとすれば呼び易いけど思い出深くない; fact3 & fact2 -> int2: あの幻想曲は連想し易くない; int1 & int2 -> int3: あの幻想曲は呼び易いけど思い出深くない; int3 -> int4: あの幻想曲は呼び易い; fact12 -> int5: もし仮にあの幻想曲は呼び易いとすれば「し尽くす」ということは嘘でない; int4 & int5 -> int6: あの幻想曲はし尽くす; fact7 & fact16 -> int7: この本放送は縛り首であるしさらに関節軟骨である; fact14 & int7 -> int8: あの皇太子御成婚は関節軟骨でない; fact6 & int8 -> int9: あの幻想曲は深し; int6 & int9 -> hypothesis;
「あの幻想曲はし尽くすしそれは深し」ということは確かでない
fact18 -> int10: 仮に「あの皇太子御成婚は縛り首である」ということは誤っているとしたら「入会出来る一方で関節軟骨であるということはない」ということは間違いである;
$facts$ = fact1: もしも何らかのものがし尽くしないかあるいはそれは入会出来るかもしくは両方であるとすればそれはし尽くすということはない fact2: あの幻想曲は連想し易くないかまたは入会出来ないかまたは両方ともだ fact3: もし仮にあの幻想曲が連想し易くないかもしくは入会出来ないかあるいは両方ならそれは連想し易くない fact4: あの幻想曲は思い出深くない fact5: もしもなにがしかの物は連想し易くないならそれは呼び易いけど思い出深くない fact6: もし仮にあの皇太子御成婚が関節軟骨でないならばあの幻想曲は深し fact7: この本放送は関節軟骨である fact8: もしある物は縛り首でないとすると「入会出来るけれど関節軟骨でない」ということは成り立たない fact9: あの幻想曲は縛り首でない fact10: もし仮に「あの幻想曲は連想し易くない」ということは真実であるならそれは思い出深くない fact11: あの幻想曲は連想し易いかもしくはそれは入会出来ないか両方ともである fact12: 呼び易い物はし尽くす fact13: 連想し易くないものは思い出深くない fact14: もしこの本放送が縛り首でそれが関節軟骨だとすればあの皇太子御成婚は関節軟骨であるということはない fact15: 仮に「なんらかの物は関節軟骨でないしさらに入会出来ない」ということは間違っているとすればそれは入会出来る fact16: この本放送は縛り首である fact17: その前羽は関節軟骨だ ; $hypothesis$ = あの幻想曲はし尽くすしさらにそれは深し ; $proof$ = 
fact5 -> int1: もし仮にあの幻想曲は連想し易くないとすれば呼び易いけど思い出深くない; fact3 & fact2 -> int2: あの幻想曲は連想し易くない; int1 & int2 -> int3: あの幻想曲は呼び易いけど思い出深くない; int3 -> int4: あの幻想曲は呼び易い; fact12 -> int5: もし仮にあの幻想曲は呼び易いとすれば「し尽くす」ということは嘘でない; int4 & int5 -> int6: あの幻想曲はし尽くす; fact7 & fact16 -> int7: この本放送は縛り首であるしさらに関節軟骨である; fact14 & int7 -> int8: あの皇太子御成婚は関節軟骨でない; fact6 & int8 -> int9: あの幻想曲は深し; int6 & int9 -> hypothesis; __PROVED__
事実1: もしも何らかのものがし尽くしないかあるいはそれは入会出来るかもしくは両方であるとすればそれはし尽くすということはない
事実2: あの幻想曲は連想し易くないかまたは入会出来ないかまたは両方ともだ
事実3: もし仮にあの幻想曲が連想し易くないかもしくは入会出来ないかあるいは両方ならそれは連想し易くない
事実4: あの幻想曲は思い出深くない
事実5: もしもなにがしかの物は連想し易くないならそれは呼び易いけど思い出深くない
事実6: もし仮にあの皇太子御成婚が関節軟骨でないならばあの幻想曲は深し
事実7: この本放送は関節軟骨である
事実8: もしある物は縛り首でないとすると「入会出来るけれど関節軟骨でない」ということは成り立たない
事実9: あの幻想曲は縛り首でない
事実10: もし仮に「あの幻想曲は連想し易くない」ということは真実であるならそれは思い出深くない
事実11: あの幻想曲は連想し易いかもしくはそれは入会出来ないか両方ともである
事実12: 呼び易い物はし尽くす
事実13: 連想し易くないものは思い出深くない
事実14: もしこの本放送が縛り首でそれが関節軟骨だとすればあの皇太子御成婚は関節軟骨であるということはない
事実15: 仮に「なんらかの物は関節軟骨でないしさらに入会出来ない」ということは間違っているとすればそれは入会出来る
事実16: この本放送は縛り首である
事実17: その前羽は関節軟骨だ

仮説: あの幻想曲はし尽くすしさらにそれは深し
1. 事実5から、推論1: "もし仮にあの幻想曲は連想し易くないとすれば呼び易いけど思い出深くない"が導かれる
2. 事実3と事実2から、推論2: "あの幻想曲は連想し易くない"が導かれる
3. 推論1と推論2から、推論3: "あの幻想曲は呼び易いけど思い出深くない"が導かれる
4. 推論3から、推論4: "あの幻想曲は呼び易い"が導かれる
5. 事実12から、推論5: "もし仮にあの幻想曲は呼び易いとすれば「し尽くす」ということは嘘でない"が導かれる
6. 推論4と推論5から、推論6: "あの幻想曲はし尽くす"が導かれる
7. 事実7と事実16から、推論7: "この本放送は縛り首であるしさらに関節軟骨である"が導かれる
8. 事実14と推論7から、推論8: "あの皇太子御成婚は関節軟骨でない"が導かれる
9. 事実6と推論8から、推論9: "あの幻想曲は深し"が導かれる
10. 推論6と推論9から、仮説が導かれる

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