「この三田尻は葬儀でない」ということは真実である
fact1: あの降り方は実体化する fact2: もし仮に「その資金管理は乗り損なわなくて広がり易くない」ということは成り立たないならばあの肉は広がり易くない fact3: 「甘酒である」物はある fact4: その資金管理はＥＮＤであるしおまけに差し止め釘だ fact5: なにがしかの物は頼もしいし甘酒だ fact6: もしもある物が御世話するということはないとしたら出入りし易くない fact7: あの肉は大掃除しない fact8: あの四地域スラム・ネットワークは実体化する fact9: もし仮に「あの肉は頼もしくない」ということは事実だとするとこの三田尻は葬儀でない fact10: この評論家は実体的損害でないしさらに一蹴するということはない fact11: 仮にとある物が実体化しないとすれば甘酒だ fact12: 「「とある物は吠え出すしおまけに制度的仕組みだ」ということは成り立つということはないならばそれは制度的仕組みだということはない」ということは成り立つ fact13: 仮に「あの肉は一蹴するということはない」ということは確かならば「吠え出すしかつ制度的仕組みだ」ということは間違いである fact14: 出入りし易くない物は貧しし大掃除する fact15: あの四地域スラム・ネットワークは甘酒だ fact16: 「「実体化する」ということは事実である」ものはある fact17: 「所有出来るし加えて人懐こい」ものはある fact18: この充実は実体化するということはない fact19: 仮にその資金管理は差し止め釘であるならば「乗り損なうということはなくてそれに広がり易いということはない」ということは偽である fact20: もしなんらかの物が広がり易いということはないしその上制度的仕組みでないとすればあの四地域スラム・ネットワークは御世話しない fact21: 仮に甘酒が実体化するとするとあの肉は頼もしくない fact22: なんらかの物が甘酒だとすると葬儀だ fact23: 仮になにがしかの物が大掃除するなら頼もしくないし集め易くない fact24: もしもこの評論家が実体的損害でなくておまけに一蹴するということはないならあの肉は一蹴するということはない
fact15 & fact8 -> int1: あの四地域スラム・ネットワークは甘酒で更に実体化する; int1 -> int2: とある物は甘酒でまたそれは実体化する; int2 & fact21 -> int3: あの肉は頼もしいということはない; int3 & fact9 -> hypothesis;
この三田尻は葬儀である
fact30 -> int4: 「もしこの三田尻が甘酒ならこの三田尻は葬儀だ」ということは成り立つ; fact35 -> int5: 「この三田尻は実体化しない」ということは正しいとすれば甘酒だ; fact37 -> int6: もしもあの四地域スラム・ネットワークが大掃除するとすれば頼もしくないし集め易いということはない; fact27 -> int7: もしもあの四地域スラム・ネットワークが出入りし易くないならばそれは貧しし加えて大掃除する; fact29 -> int8: 仮にあの四地域スラム・ネットワークが御世話するということはないとすると出入りし易いということはない; fact34 -> int9: その資金管理は差し止め釘である; fact28 & int9 -> int10: 「その資金管理は乗り損なわなくてしかも広がり易くない」ということは嘘だ; fact36 & int10 -> int11: あの肉は広がり易いということはない; fact25 -> int12: 「あの肉は吠え出すし更に制度的仕組みだ」ということは成り立たないならそれは制度的仕組みでない; fact31 & fact32 -> int13: あの肉は一蹴しない; fact26 & int13 -> int14: 「あの肉は吠え出すしそれは制度的仕組みである」ということは誤りである; int12 & int14 -> int15: あの肉は制度的仕組みでない; int11 & int15 -> int16: あの肉は広がり易くなくてかつ制度的仕組みでない; int16 -> int17: 「広がり易くないし制度的仕組みでない」物はある; int17 & fact33 -> int18: あの四地域スラム・ネットワークは御世話するということはない; int8 & int18 -> int19: あの四地域スラム・ネットワークは出入りし易いということはない; int7 & int19 -> int20: 「あの四地域スラム・ネットワークは貧ししかつそれは大掃除する」ということは確かだ; int20 -> int21: あの四地域スラム・ネットワークは大掃除する; int6 & int21 -> int22: 「あの四地域スラム・ネットワークは頼もしくなくてそれは集め易くない」ということは成り立つ; int22 -> int23: 何かは頼もしくなくて集め易くない;
$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$ = 
fact15 & fact8 -> int1: あの四地域スラム・ネットワークは甘酒で更に実体化する; int1 -> int2: とある物は甘酒でまたそれは実体化する; int2 & fact21 -> int3: あの肉は頼もしいということはない; int3 & fact9 -> 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. 事実15と事実8から、推論1: "あの四地域スラム・ネットワークは甘酒で更に実体化する"が導かれる
2. 推論1から、推論2: "とある物は甘酒でまたそれは実体化する"が導かれる
3. 推論2と事実21から、推論3: "あの肉は頼もしいということはない"が導かれる
4. 推論3と事実9から、仮説が導かれる

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