その皮膚病は興味深い
fact1: 「その皮膚病は堅苦しくない」ということは成り立つ fact2: その千九百九十年代以降は際限無い fact3: もし仮に何かは温かいとすれば「それは清いということはない」ということは正しい fact4: 清くないものは御亡くなりに成る fact5: もしその千九百九十年代以降が俗っぽくないなら際限無い fact6: 「仮に「その千九百九十年代以降は堅苦しくない」ということは本当ならばその皮膚病は堅苦しくないけど小松だ」ということは成り立つ fact7: もし仮にその皮膚病は堅苦しくて小松であるとしたら「興味深い」ということは正しい fact8: 「「その千九百九十年代以降は温かいがそれは単純ＣＴ像でない」ということは成り立たない」ということは真実だ fact9: もしもその千九百九十年代以降は堅苦しいとすれば「温かくてまた単純ＣＴ像でない」ということは嘘である fact10: 「その皮膚病は御亡くなりに成らなくてしかも小松でない」ということは誤りである fact11: その千九百九十年代以降が堅苦しくないとするとその皮膚病は堅苦しいということはない fact12: 仮にその千九百九十年代以降が御亡くなりに成ればそれは拱く fact13: もしあるものは清いとしたら「堅苦しくないしまたそれは興味深い」ということは誤りである fact14: その皮膚病はインストール中でない fact15: もしも堅苦しいということはない物は小松だとしたら「それは興味深い」ということは真実である fact16: 「その千九百九十年代以降は俗っぽいということはない」ということは確かである fact17: もしもなんらかのものは小松でないが御亡くなりに成るとすれば俗っぽい fact18: もし仮に堅苦しい物は小松であるなら「興味深い」ということは本当だ fact19: もしその千九百九十年代以降が俗っぽくないならそれは際限無い一方で拱かない fact20: 仮にとある物が十八ページ参照だということはない一方でそれは一般的問題であるならばそれは生臭い fact21: もしその千九百九十年代以降は堅苦しいとすると「温かくないしおまけにそれは単純ＣＴ像であるということはない」ということは偽だ fact22: もし仮にその皮膚病は拱かないなら「それは御亡くなりに成るしそれは小松だ」ということは確かでない fact23: 仮に何かは御亡くなりに成らないなら「それは清くなくてまた堅苦しくない」ということは嘘である fact24: もしその千九百九十年代以降は温かいとすれば「清くない」ということは成り立つ fact25: 仮に「あるものは温かくなくてしかも単純ＣＴ像でない」ということは成り立たないとすると「それは清くない」ということは正しい
void -> assump1: 以下のように仮定する。その千九百九十年代以降は堅苦しい; fact21 & assump1 -> int1: 「「その千九百九十年代以降は温かくないし単純ＣＴ像でない」ということは事実であるということはない」ということは本当である; fact25 -> int2: もし「その千九百九十年代以降は温かくないしおまけに単純ＣＴ像でない」ということは偽だとすればそれは清くない; int1 & int2 -> int3: その千九百九十年代以降は清くない; fact4 -> int4: もしその千九百九十年代以降が清くないなら御亡くなりに成る; int3 & int4 -> int5: その千九百九十年代以降は御亡くなりに成る; int5 & fact12 -> int6: その千九百九十年代以降は拱く; fact16 & fact19 -> int7: その千九百九十年代以降は際限無いけれど拱かない; int7 -> int8: その千九百九十年代以降は拱かない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その千九百九十年代以降は堅苦しくない; int10 & fact6 -> int11: その皮膚病は堅苦しくないがしかし小松だ; fact15 -> int12: その皮膚病は堅苦しくないがしかし小松であるなら興味深い; int11 & int12 -> hypothesis;
この出現は際限無くない
fact27 -> int13: 仮にその千九百九十年代以降は御亡くなりに成らないなら「清くなくて堅苦しくない」ということは成り立たない;
$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: もしその千九百九十年代以降は温かいとすれば「清くない」ということは成り立つ fact25: 仮に「あるものは温かくなくてしかも単純ＣＴ像でない」ということは成り立たないとすると「それは清くない」ということは正しい ; $hypothesis$ = その皮膚病は興味深い ; $proof$ = 
void -> assump1: 以下のように仮定する。その千九百九十年代以降は堅苦しい; fact21 & assump1 -> int1: 「「その千九百九十年代以降は温かくないし単純ＣＴ像でない」ということは事実であるということはない」ということは本当である; fact25 -> int2: もし「その千九百九十年代以降は温かくないしおまけに単純ＣＴ像でない」ということは偽だとすればそれは清くない; int1 & int2 -> int3: その千九百九十年代以降は清くない; fact4 -> int4: もしその千九百九十年代以降が清くないなら御亡くなりに成る; int3 & int4 -> int5: その千九百九十年代以降は御亡くなりに成る; int5 & fact12 -> int6: その千九百九十年代以降は拱く; fact16 & fact19 -> int7: その千九百九十年代以降は際限無いけれど拱かない; int7 -> int8: その千九百九十年代以降は拱かない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その千九百九十年代以降は堅苦しくない; int10 & fact6 -> int11: その皮膚病は堅苦しくないがしかし小松だ; fact15 -> int12: その皮膚病は堅苦しくないがしかし小松であるなら興味深い; int11 & int12 -> 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: もしその千九百九十年代以降は温かいとすれば「清くない」ということは成り立つ
事実25: 仮に「あるものは温かくなくてしかも単純ＣＴ像でない」ということは成り立たないとすると「それは清くない」ということは正しい

仮説: その皮膚病は興味深い
1. 仮定1: 以下のように仮定する。その千九百九十年代以降は堅苦しい
2. 事実21と仮定1から、推論1: "「「その千九百九十年代以降は温かくないし単純ＣＴ像でない」ということは事実であるということはない」ということは本当である"が導かれる
3. 事実25から、推論2: "もし「その千九百九十年代以降は温かくないしおまけに単純ＣＴ像でない」ということは偽だとすればそれは清くない"が導かれる
4. 推論1と推論2から、推論3: "その千九百九十年代以降は清くない"が導かれる
5. 事実4から、推論4: "もしその千九百九十年代以降が清くないなら御亡くなりに成る"が導かれる
6. 推論3と推論4から、推論5: "その千九百九十年代以降は御亡くなりに成る"が導かれる
7. 推論5と事実12から、推論6: "その千九百九十年代以降は拱く"が導かれる
8. 事実16と事実19から、推論7: "その千九百九十年代以降は際限無いけれど拱かない"が導かれる
9. 推論7から、推論8: "その千九百九十年代以降は拱かない"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その千九百九十年代以降は堅苦しくない"が導かれる
12. 推論10と事実6から、推論11: "その皮膚病は堅苦しくないがしかし小松だ"が導かれる
13. 事実15から、推論12: "その皮膚病は堅苦しくないがしかし小松であるなら興味深い"が導かれる
14. 推論11と推論12から、仮説が導かれる

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