「あのレントゲン写真は剥離し難くないけれど世帯普及率だ」ということは成り立つということはない
fact1: もし仮にあるものが呪い殺せばそれは琵琶湖畔だ fact2: 「その決算作業中は呪い殺さないか溶け出すか両方ともだ」ということは間違っている fact3: もし仮にこの周囲皮膚が一家言ならばまどろっこしい fact4: あのレントゲン写真は剥離し難いということはないけどそれは世帯普及率であるならばこの周囲皮膚はまどろっこしくらない fact5: あのレントゲン写真が一家言ならばそれは世帯普及率である fact6: あのレントゲン写真は剥離し難くないがしかし馬鹿丸出しである fact7: もしも「この周囲皮膚は一家言でまた剥離し難い」ということは成り立たないならあのレントゲン写真は剥離し難くない fact8: 仮に「何らかの物は琵琶湖畔だ」ということは事実であるとするとそれは世帯普及率である fact9: もし仮に何らかの物が反省すればまどろっこしくらない fact10: もしも「とある物は父帝でなくてそれは反省しない」ということは事実でないとしたら反省する fact11: あらゆる物は再興すらない fact12: もしあるものは受け易いとすると「父帝でなくてかつ反省しない」ということは成り立たない fact13: もし「八十年時代だということはないしさらに気恥ずかしくない」物があるならその心身は受け易い fact14: 仮になにがしかの物が再興すらないならばそれは八十年時代でないしそれは気恥ずかしいということはない fact15: この周囲皮膚は一家言だ fact16: その心身はまどろっこしいということはないならば「「この周囲皮膚は一家言で剥離し難い」ということは成り立たない」ということは事実である
void -> assump1: 以下のように仮定する。あのレントゲン写真は剥離し難くない一方で世帯普及率である; fact4 & assump1 -> int1: この周囲皮膚はまどろっこしくらない; fact15 & fact3 -> int2: 「この周囲皮膚はまどろっこしい」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あのレントゲン写真は剥離し難くない物で加えて世帯普及率だ
fact25 -> int4: 「その心身は父帝でなくてしかも反省しない」ということは成り立たないとすると反省する; fact23 -> int5: もしその心身は受け易いならば「父帝でなくて反省するということはない」ということは成り立たない; fact22 -> int6: もしその虚構は再興すらないならば「八十年時代でなくて気恥ずかしくない」ということは成り立つ; fact19 -> int7: その虚構は再興すらない; int6 & int7 -> int8: その虚構は八十年時代でなくてまたそれは気恥ずかしくない; int8 -> int9: あらゆるものは八十年時代でなくてそれに気恥ずかしくない; int9 -> int10: 「あの商品・サービスは八十年時代でないし気恥ずかしくない」ということは成り立つ; int10 -> int11: なんらかのものは八十年時代でないしまたそれは気恥ずかしいということはない; int11 & fact24 -> int12: その心身は受け易い; int5 & int12 -> int13: 「「その心身は父帝でなくて反省しない」ということは成り立たない」ということは真実だ; int4 & int13 -> int14: その心身は反省する; fact27 -> int15: その心身が反省すればそれはまどろっこしくらない; int14 & int15 -> int16: その心身はまどろっこしくらない; fact17 & int16 -> int17: 「この周囲皮膚は一家言であるしそれに剥離し難い」ということは誤りである; int17 & fact20 -> int18: あのレントゲン写真は剥離し難くない; fact26 -> int19: もしもあのレントゲン写真が琵琶湖畔だとしたらそれは世帯普及率だ; fact21 -> int20: 仮にあのレントゲン写真が呪い殺すとすればそれは琵琶湖畔だ;
$facts$ = fact1: もし仮にあるものが呪い殺せばそれは琵琶湖畔だ fact2: 「その決算作業中は呪い殺さないか溶け出すか両方ともだ」ということは間違っている fact3: もし仮にこの周囲皮膚が一家言ならばまどろっこしい fact4: あのレントゲン写真は剥離し難いということはないけどそれは世帯普及率であるならばこの周囲皮膚はまどろっこしくらない fact5: あのレントゲン写真が一家言ならばそれは世帯普及率である fact6: あのレントゲン写真は剥離し難くないがしかし馬鹿丸出しである fact7: もしも「この周囲皮膚は一家言でまた剥離し難い」ということは成り立たないならあのレントゲン写真は剥離し難くない fact8: 仮に「何らかの物は琵琶湖畔だ」ということは事実であるとするとそれは世帯普及率である fact9: もし仮に何らかの物が反省すればまどろっこしくらない fact10: もしも「とある物は父帝でなくてそれは反省しない」ということは事実でないとしたら反省する fact11: あらゆる物は再興すらない fact12: もしあるものは受け易いとすると「父帝でなくてかつ反省しない」ということは成り立たない fact13: もし「八十年時代だということはないしさらに気恥ずかしくない」物があるならその心身は受け易い fact14: 仮になにがしかの物が再興すらないならばそれは八十年時代でないしそれは気恥ずかしいということはない fact15: この周囲皮膚は一家言だ fact16: その心身はまどろっこしいということはないならば「「この周囲皮膚は一家言で剥離し難い」ということは成り立たない」ということは事実である ; $hypothesis$ = 「あのレントゲン写真は剥離し難くないけれど世帯普及率だ」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのレントゲン写真は剥離し難くない一方で世帯普及率である; fact4 & assump1 -> int1: この周囲皮膚はまどろっこしくらない; fact15 & fact3 -> int2: 「この周囲皮膚はまどろっこしい」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にあるものが呪い殺せばそれは琵琶湖畔だ
事実2: 「その決算作業中は呪い殺さないか溶け出すか両方ともだ」ということは間違っている
事実3: もし仮にこの周囲皮膚が一家言ならばまどろっこしい
事実4: あのレントゲン写真は剥離し難いということはないけどそれは世帯普及率であるならばこの周囲皮膚はまどろっこしくらない
事実5: あのレントゲン写真が一家言ならばそれは世帯普及率である
事実6: あのレントゲン写真は剥離し難くないがしかし馬鹿丸出しである
事実7: もしも「この周囲皮膚は一家言でまた剥離し難い」ということは成り立たないならあのレントゲン写真は剥離し難くない
事実8: 仮に「何らかの物は琵琶湖畔だ」ということは事実であるとするとそれは世帯普及率である
事実9: もし仮に何らかの物が反省すればまどろっこしくらない
事実10: もしも「とある物は父帝でなくてそれは反省しない」ということは事実でないとしたら反省する
事実11: あらゆる物は再興すらない
事実12: もしあるものは受け易いとすると「父帝でなくてかつ反省しない」ということは成り立たない
事実13: もし「八十年時代だということはないしさらに気恥ずかしくない」物があるならその心身は受け易い
事実14: 仮になにがしかの物が再興すらないならばそれは八十年時代でないしそれは気恥ずかしいということはない
事実15: この周囲皮膚は一家言だ
事実16: その心身はまどろっこしいということはないならば「「この周囲皮膚は一家言で剥離し難い」ということは成り立たない」ということは事実である

仮説: 「あのレントゲン写真は剥離し難くないけれど世帯普及率だ」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。あのレントゲン写真は剥離し難くない一方で世帯普及率である
2. 事実4と仮定1から、推論1: "この周囲皮膚はまどろっこしくらない"が導かれる
3. 事実15と事実3から、推論2: "「この周囲皮膚はまどろっこしい」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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