あの照合写真は靡かない
fact1: この英霊は読み難いししかもドロペリドールである fact2: もしあのミドル以下が職場復帰するしおまけにそれは御優しいとすると「そのディープリムデザインは御優しくない」ということは事実だ fact3: 似付かわしい物は感心出来なくて読み難くない fact4: もしあのミドル以下が実験しないとすれば職場復帰するし更にそれは御優しい fact5: あの照合写真は真ん丸いけれどそれは感心出来ない fact6: 「収斂作用である」物はある fact7: もし仮にそのディープリムデザインが似付かわしいとすればあの途中経過は読み難くないけど東方明珠だ fact8: 仮に「あの照合写真は読み難いけれど真ん丸くない」ということは本当でないとするとそれは感心出来ない fact9: そのディープリムデザインは似付かわしい fact10: 仮になにがしかの物は御優しくないとしたら「心房間溝であるということはないかあるいはそれは東方明珠だ」ということは間違いである fact11: もし仮にあの照合写真が感心出来るしその上読み難いとするとあの苛性ソーダは東方明珠でない fact12: 「収斂作用な」物はあるとすれば「あのミドル以下がレコフだししかもそれは文壇人だ」ということは誤っている fact13: もしもあの苛性ソーダは読み難くないとしたら「その途中経過は読み難くないけど東方明珠である」ということは嘘だ fact14: もし仮に「あのミドル以下はレコフであるししかも文壇人だ」ということは成り立つということはないとしたら実験しない fact15: その途中経過は東方明珠だ fact16: その途中経過は感心出来るということはないなら「あの苛性ソーダは靡かないがしかし真ん丸い」ということは事実と異なる fact17: もしあの照合写真が真ん丸いしそれに靡くとするとあの苛性ソーダは読み難くない
fact5 -> int1: あの照合写真は真ん丸い; void -> assump1: 以下のように仮定する。あの照合写真は靡く; int1 & assump1 -> int2: あの照合写真は真ん丸いし更に靡く; int2 & fact17 -> int3: あの苛性ソーダは読み難いということはない; int3 & fact13 -> int4: 「その途中経過は読み難くないがそれは東方明珠である」ということは事実と異なる; fact7 & fact9 -> int5: その途中経過は読み難くないがしかし東方明珠だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「あの照合写真は靡く」ということは事実だ
fact23 -> int7: 「その途中経過は似付かわしい」ということは真実であるとしたら感心出来なくてその上読み難くない; fact24 -> int8: そのディープリムデザインは御優しくないとすれば「それは心房間溝でないかまたはそれは東方明珠であるかまたは両方ともである」ということは誤りである; fact21 & fact22 -> int9: 「あのミドル以下はレコフで文壇人だ」ということは誤りだ; fact25 & int9 -> int10: あのミドル以下は実験しない; fact18 & int10 -> int11: あのミドル以下は職場復帰するし御優しい; fact20 & int11 -> int12: そのディープリムデザインは御優しくない; int8 & int12 -> int13: 「そのディープリムデザインは心房間溝でないかもしくは東方明珠であるかまたは両方ともである」ということは誤りである; int13 -> int14: 「「心房間溝でないかまたは東方明珠である」ということは事実と異なる」ものはある;
$facts$ = fact1: この英霊は読み難いししかもドロペリドールである fact2: もしあのミドル以下が職場復帰するしおまけにそれは御優しいとすると「そのディープリムデザインは御優しくない」ということは事実だ fact3: 似付かわしい物は感心出来なくて読み難くない fact4: もしあのミドル以下が実験しないとすれば職場復帰するし更にそれは御優しい fact5: あの照合写真は真ん丸いけれどそれは感心出来ない fact6: 「収斂作用である」物はある fact7: もし仮にそのディープリムデザインが似付かわしいとすればあの途中経過は読み難くないけど東方明珠だ fact8: 仮に「あの照合写真は読み難いけれど真ん丸くない」ということは本当でないとするとそれは感心出来ない fact9: そのディープリムデザインは似付かわしい fact10: 仮になにがしかの物は御優しくないとしたら「心房間溝であるということはないかあるいはそれは東方明珠だ」ということは間違いである fact11: もし仮にあの照合写真が感心出来るしその上読み難いとするとあの苛性ソーダは東方明珠でない fact12: 「収斂作用な」物はあるとすれば「あのミドル以下がレコフだししかもそれは文壇人だ」ということは誤っている fact13: もしもあの苛性ソーダは読み難くないとしたら「その途中経過は読み難くないけど東方明珠である」ということは嘘だ fact14: もし仮に「あのミドル以下はレコフであるししかも文壇人だ」ということは成り立つということはないとしたら実験しない fact15: その途中経過は東方明珠だ fact16: その途中経過は感心出来るということはないなら「あの苛性ソーダは靡かないがしかし真ん丸い」ということは事実と異なる fact17: もしあの照合写真が真ん丸いしそれに靡くとするとあの苛性ソーダは読み難くない ; $hypothesis$ = あの照合写真は靡かない ; $proof$ = 
fact5 -> int1: あの照合写真は真ん丸い; void -> assump1: 以下のように仮定する。あの照合写真は靡く; int1 & assump1 -> int2: あの照合写真は真ん丸いし更に靡く; int2 & fact17 -> int3: あの苛性ソーダは読み難いということはない; int3 & fact13 -> int4: 「その途中経過は読み難くないがそれは東方明珠である」ということは事実と異なる; fact7 & fact9 -> int5: その途中経過は読み難くないがしかし東方明珠だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この英霊は読み難いししかもドロペリドールである
事実2: もしあのミドル以下が職場復帰するしおまけにそれは御優しいとすると「そのディープリムデザインは御優しくない」ということは事実だ
事実3: 似付かわしい物は感心出来なくて読み難くない
事実4: もしあのミドル以下が実験しないとすれば職場復帰するし更にそれは御優しい
事実5: あの照合写真は真ん丸いけれどそれは感心出来ない
事実6: 「収斂作用である」物はある
事実7: もし仮にそのディープリムデザインが似付かわしいとすればあの途中経過は読み難くないけど東方明珠だ
事実8: 仮に「あの照合写真は読み難いけれど真ん丸くない」ということは本当でないとするとそれは感心出来ない
事実9: そのディープリムデザインは似付かわしい
事実10: 仮になにがしかの物は御優しくないとしたら「心房間溝であるということはないかあるいはそれは東方明珠だ」ということは間違いである
事実11: もし仮にあの照合写真が感心出来るしその上読み難いとするとあの苛性ソーダは東方明珠でない
事実12: 「収斂作用な」物はあるとすれば「あのミドル以下がレコフだししかもそれは文壇人だ」ということは誤っている
事実13: もしもあの苛性ソーダは読み難くないとしたら「その途中経過は読み難くないけど東方明珠である」ということは嘘だ
事実14: もし仮に「あのミドル以下はレコフであるししかも文壇人だ」ということは成り立つということはないとしたら実験しない
事実15: その途中経過は東方明珠だ
事実16: その途中経過は感心出来るということはないなら「あの苛性ソーダは靡かないがしかし真ん丸い」ということは事実と異なる
事実17: もしあの照合写真が真ん丸いしそれに靡くとするとあの苛性ソーダは読み難くない

仮説: あの照合写真は靡かない
1. 事実5から、推論1: "あの照合写真は真ん丸い"が導かれる
2. 仮定1: 以下のように仮定する。あの照合写真は靡く
3. 推論1と仮定1から、推論2: "あの照合写真は真ん丸いし更に靡く"が導かれる
4. 推論2と事実17から、推論3: "あの苛性ソーダは読み難いということはない"が導かれる
5. 推論3と事実13から、推論4: "「その途中経過は読み難くないがそれは東方明珠である」ということは事実と異なる"が導かれる
6. 事実7と事実9から、推論5: "その途中経過は読み難くないがしかし東方明珠だ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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