この作曲家は差し出がましい
fact1: もし仮にこの各ページが診断上だし更に諦め掛けるとすれば訳者後書きでない fact2: もし仮にこの作曲家は無意味でしかも訳者後書きならばそれは帰来だということはない fact3: この作曲家は脂っこいししかもそれは帰来だ fact4: もし仮に「なにがしかのものは診断上であるかもしくは糊塗する」ということは偽であるとしたらそれは差し出がましかない fact5: もし仮に「なにがしかのものは差し出がましいけど糊塗するということはない」ということは成り立たないなら「差し出がましかない」ということは成り立つ fact6: 「この作曲家が申候うということはないけれど無意味であるとすればこの各ページは申候わない」ということは本当だ fact7: もし仮にあの開発一部は糊塗するなら「この作曲家は無意味だ」ということは確かである fact8: もし「とある物は諦め掛けるけどエアフロでない」ということは間違っていれば「諦め掛けるということはない」ということは嘘でない fact9: 「仮に「あのおめでたは帰来でない」ということは成り立つとすればあの作曲家は申候わないがしかし無意味である」ということは成り立つ fact10: もし仮にこの作曲家が訳者後書きでなくて諦め掛けないならば「それは差し出がましい」ということは成り立つ fact11: 仮にこの各ページが診断上でないならあの開発一部は糊塗する fact12: もしそのカプットが糊塗するしそれは訳者後書きなら「あの開発一部は診断上でない」ということは成り立つ fact13: それは諦め掛けるしそれはエアフロでないという物はない fact14: 「この各ページは診断上でない」ということは本当だ
fact11 & fact14 -> int1: あの開発一部は糊塗する; int1 & fact7 -> int2: この作曲家は無意味だ; void -> assump1: 以下のように仮定する。この作曲家は訳者後書きだ; int2 & assump1 -> int3: この作曲家が無意味だし更に訳者後書きだ; int3 & fact2 -> int4: この作曲家は帰来でない; fact3 -> int5: この作曲家は帰来である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この作曲家は訳者後書きでない; fact8 -> int8: もし仮に「この作曲家は諦め掛けるけれどエアフロでない」ということは成り立たないとすればそれは諦め掛けない; fact13 -> int9: 「この作曲家は諦め掛けるけれどエアフロでない」ということは事実と異なる; int8 & int9 -> int10: この作曲家は諦め掛けるということはない; int7 & int10 -> int11: この作曲家は訳者後書きでなくてそれは諦め掛けない; int11 & fact10 -> hypothesis;
「この作曲家は差し出がましかない」ということは正しい
fact15 -> int12: もし仮に「この作曲家は差し出がましい一方で糊塗しない」ということは事実と異なるとするとそれは差し出がましかない;
$facts$ = fact1: もし仮にこの各ページが診断上だし更に諦め掛けるとすれば訳者後書きでない fact2: もし仮にこの作曲家は無意味でしかも訳者後書きならばそれは帰来だということはない fact3: この作曲家は脂っこいししかもそれは帰来だ fact4: もし仮に「なにがしかのものは診断上であるかもしくは糊塗する」ということは偽であるとしたらそれは差し出がましかない fact5: もし仮に「なにがしかのものは差し出がましいけど糊塗するということはない」ということは成り立たないなら「差し出がましかない」ということは成り立つ fact6: 「この作曲家が申候うということはないけれど無意味であるとすればこの各ページは申候わない」ということは本当だ fact7: もし仮にあの開発一部は糊塗するなら「この作曲家は無意味だ」ということは確かである fact8: もし「とある物は諦め掛けるけどエアフロでない」ということは間違っていれば「諦め掛けるということはない」ということは嘘でない fact9: 「仮に「あのおめでたは帰来でない」ということは成り立つとすればあの作曲家は申候わないがしかし無意味である」ということは成り立つ fact10: もし仮にこの作曲家が訳者後書きでなくて諦め掛けないならば「それは差し出がましい」ということは成り立つ fact11: 仮にこの各ページが診断上でないならあの開発一部は糊塗する fact12: もしそのカプットが糊塗するしそれは訳者後書きなら「あの開発一部は診断上でない」ということは成り立つ fact13: それは諦め掛けるしそれはエアフロでないという物はない fact14: 「この各ページは診断上でない」ということは本当だ ; $hypothesis$ = この作曲家は差し出がましい ; $proof$ = 
fact11 & fact14 -> int1: あの開発一部は糊塗する; int1 & fact7 -> int2: この作曲家は無意味だ; void -> assump1: 以下のように仮定する。この作曲家は訳者後書きだ; int2 & assump1 -> int3: この作曲家が無意味だし更に訳者後書きだ; int3 & fact2 -> int4: この作曲家は帰来でない; fact3 -> int5: この作曲家は帰来である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この作曲家は訳者後書きでない; fact8 -> int8: もし仮に「この作曲家は諦め掛けるけれどエアフロでない」ということは成り立たないとすればそれは諦め掛けない; fact13 -> int9: 「この作曲家は諦め掛けるけれどエアフロでない」ということは事実と異なる; int8 & int9 -> int10: この作曲家は諦め掛けるということはない; int7 & int10 -> int11: この作曲家は訳者後書きでなくてそれは諦め掛けない; int11 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にこの各ページが診断上だし更に諦め掛けるとすれば訳者後書きでない
事実2: もし仮にこの作曲家は無意味でしかも訳者後書きならばそれは帰来だということはない
事実3: この作曲家は脂っこいししかもそれは帰来だ
事実4: もし仮に「なにがしかのものは診断上であるかもしくは糊塗する」ということは偽であるとしたらそれは差し出がましかない
事実5: もし仮に「なにがしかのものは差し出がましいけど糊塗するということはない」ということは成り立たないなら「差し出がましかない」ということは成り立つ
事実6: 「この作曲家が申候うということはないけれど無意味であるとすればこの各ページは申候わない」ということは本当だ
事実7: もし仮にあの開発一部は糊塗するなら「この作曲家は無意味だ」ということは確かである
事実8: もし「とある物は諦め掛けるけどエアフロでない」ということは間違っていれば「諦め掛けるということはない」ということは嘘でない
事実9: 「仮に「あのおめでたは帰来でない」ということは成り立つとすればあの作曲家は申候わないがしかし無意味である」ということは成り立つ
事実10: もし仮にこの作曲家が訳者後書きでなくて諦め掛けないならば「それは差し出がましい」ということは成り立つ
事実11: 仮にこの各ページが診断上でないならあの開発一部は糊塗する
事実12: もしそのカプットが糊塗するしそれは訳者後書きなら「あの開発一部は診断上でない」ということは成り立つ
事実13: それは諦め掛けるしそれはエアフロでないという物はない
事実14: 「この各ページは診断上でない」ということは本当だ

仮説: この作曲家は差し出がましい
1. 事実11と事実14から、推論1: "あの開発一部は糊塗する"が導かれる
2. 推論1と事実7から、推論2: "この作曲家は無意味だ"が導かれる
3. 仮定1: 以下のように仮定する。この作曲家は訳者後書きだ
4. 推論2と仮定1から、推論3: "この作曲家が無意味だし更に訳者後書きだ"が導かれる
5. 推論3と事実2から、推論4: "この作曲家は帰来でない"が導かれる
6. 事実3から、推論5: "この作曲家は帰来である"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この作曲家は訳者後書きでない"が導かれる
9. 事実8から、推論8: "もし仮に「この作曲家は諦め掛けるけれどエアフロでない」ということは成り立たないとすればそれは諦め掛けない"が導かれる
10. 事実13から、推論9: "「この作曲家は諦め掛けるけれどエアフロでない」ということは事実と異なる"が導かれる
11. 推論8と推論9から、推論10: "この作曲家は諦め掛けるということはない"が導かれる
12. 推論7と推論10から、推論11: "この作曲家は訳者後書きでなくてそれは諦め掛けない"が導かれる
13. 推論11と事実10から、仮説が導かれる

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