その切り通しは更生であるということはない
fact1: もしも何らかのものが連邦救済であるならばグランドピアノでないししかもそれは変調でない fact2: もしも「何かは逃れ難くないけれど暮れ泥む」ということは間違いならエゾ鹿さんである fact3: もし仮にあの被保険者等はグランドピアノでないなら「その切り通しは入れ上げないが連邦救済である」ということは成り立たない fact4: 馴染み易いものは更生だ fact5: 「あの被保険者等は変調である」ということは真実である fact6: 「その切り通しは入れ上げるしかつ連邦救済である」ということは成り立たない fact7: 仮にその切り通しが入れ上げるとすればそれは馴染み易い fact8: 仮にあの被保険者等はグランドピアノでないとしたら「その切り通しは入れ上げるしそれに連邦救済だ」ということは成り立たない fact9: もしもあの被保険者等は連邦救済であるとするとグランドピアノだ fact10: 仮にあの被保険者等はグランドピアノでないとしたら「その切り通しは更生でないけれど変調である」ということは成り立たない fact11: あの志は馴染み易いということはないが物納する fact12: もしもなにかは入れ上げるとすると馴染み易い fact13: あの被保険者等はグランドピアノでないけれど変調である fact14: もしも「なんらかのものは入れ上げるということはないがしかしそれは連邦救済だ」ということは成り立たないならばそれは馴染み易い fact15: 「その切り通しは二変数でない一方でそれは馴染み易い」ということは誤っている
fact13 -> int1: あの被保険者等はグランドピアノでない; int1 & fact3 -> int2: 「その切り通しは入れ上げないがしかし連邦救済である」ということは成り立たない; fact14 -> int3: 仮に「「その切り通しは入れ上げないけど連邦救済である」ということは成り立つ」ということは間違いであるとすると「馴染み易い」ということは正しい; int2 & int3 -> int4: その切り通しは馴染み易い; fact4 -> int5: もしその切り通しが馴染み易いならばそれは更生だ; int4 & int5 -> hypothesis;
その切り通しは更生でない
fact16 -> int6: あの場合等が連邦救済だとすればそれはグランドピアノであるということはなくて更にそれは変調でない;
$facts$ = fact1: もしも何らかのものが連邦救済であるならばグランドピアノでないししかもそれは変調でない fact2: もしも「何かは逃れ難くないけれど暮れ泥む」ということは間違いならエゾ鹿さんである fact3: もし仮にあの被保険者等はグランドピアノでないなら「その切り通しは入れ上げないが連邦救済である」ということは成り立たない fact4: 馴染み易いものは更生だ fact5: 「あの被保険者等は変調である」ということは真実である fact6: 「その切り通しは入れ上げるしかつ連邦救済である」ということは成り立たない fact7: 仮にその切り通しが入れ上げるとすればそれは馴染み易い fact8: 仮にあの被保険者等はグランドピアノでないとしたら「その切り通しは入れ上げるしそれに連邦救済だ」ということは成り立たない fact9: もしもあの被保険者等は連邦救済であるとするとグランドピアノだ fact10: 仮にあの被保険者等はグランドピアノでないとしたら「その切り通しは更生でないけれど変調である」ということは成り立たない fact11: あの志は馴染み易いということはないが物納する fact12: もしもなにかは入れ上げるとすると馴染み易い fact13: あの被保険者等はグランドピアノでないけれど変調である fact14: もしも「なんらかのものは入れ上げるということはないがしかしそれは連邦救済だ」ということは成り立たないならばそれは馴染み易い fact15: 「その切り通しは二変数でない一方でそれは馴染み易い」ということは誤っている ; $hypothesis$ = その切り通しは更生であるということはない ; $proof$ = 
fact13 -> int1: あの被保険者等はグランドピアノでない; int1 & fact3 -> int2: 「その切り通しは入れ上げないがしかし連邦救済である」ということは成り立たない; fact14 -> int3: 仮に「「その切り通しは入れ上げないけど連邦救済である」ということは成り立つ」ということは間違いであるとすると「馴染み易い」ということは正しい; int2 & int3 -> int4: その切り通しは馴染み易い; fact4 -> int5: もしその切り通しが馴染み易いならばそれは更生だ; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものが連邦救済であるならばグランドピアノでないししかもそれは変調でない
事実2: もしも「何かは逃れ難くないけれど暮れ泥む」ということは間違いならエゾ鹿さんである
事実3: もし仮にあの被保険者等はグランドピアノでないなら「その切り通しは入れ上げないが連邦救済である」ということは成り立たない
事実4: 馴染み易いものは更生だ
事実5: 「あの被保険者等は変調である」ということは真実である
事実6: 「その切り通しは入れ上げるしかつ連邦救済である」ということは成り立たない
事実7: 仮にその切り通しが入れ上げるとすればそれは馴染み易い
事実8: 仮にあの被保険者等はグランドピアノでないとしたら「その切り通しは入れ上げるしそれに連邦救済だ」ということは成り立たない
事実9: もしもあの被保険者等は連邦救済であるとするとグランドピアノだ
事実10: 仮にあの被保険者等はグランドピアノでないとしたら「その切り通しは更生でないけれど変調である」ということは成り立たない
事実11: あの志は馴染み易いということはないが物納する
事実12: もしもなにかは入れ上げるとすると馴染み易い
事実13: あの被保険者等はグランドピアノでないけれど変調である
事実14: もしも「なんらかのものは入れ上げるということはないがしかしそれは連邦救済だ」ということは成り立たないならばそれは馴染み易い
事実15: 「その切り通しは二変数でない一方でそれは馴染み易い」ということは誤っている

仮説: その切り通しは更生であるということはない
1. 事実13から、推論1: "あの被保険者等はグランドピアノでない"が導かれる
2. 推論1と事実3から、推論2: "「その切り通しは入れ上げないがしかし連邦救済である」ということは成り立たない"が導かれる
3. 事実14から、推論3: "仮に「「その切り通しは入れ上げないけど連邦救済である」ということは成り立つ」ということは間違いであるとすると「馴染み易い」ということは正しい"が導かれる
4. 推論2と推論3から、推論4: "その切り通しは馴染み易い"が導かれる
5. 事実4から、推論5: "もしその切り通しが馴染み易いならばそれは更生だ"が導かれる
6. 推論4と推論5から、仮説が否定される

よって、仮説が否定されました。