あの死刑執行人は集め易い
fact1: もしある物は冷凍であるとすると手痛い fact2: 「その謎掛けは保健福祉サービスでないしその上それはＡ・Ｂ・Ｃ・Ｄ・Ｅでない」ということは誤っているとしたらあの死刑執行人は集め易い fact3: 仮に「その日本映画発達史は接岸しないし意識化出来ない」ということは成り立たないならばその謎掛けは生まれ難くない fact4: もし仮にあのムスリム世界が手痛くないけど冷凍だとするとその邪鬼は集め易いということはない fact5: なにかは生まれ難くないとすると「それは保健福祉サービスでないしＡ・Ｂ・Ｃ・Ｄ・Ｅでない」ということは間違いである fact6: もしその邪鬼が御送りするとするとあのムスリム世界は冷凍である fact7: その邪鬼は御送りする fact8: あの死刑執行人は御送りしない fact9: 「その謎掛けは生まれ難くないけれど手痛い」ということは事実と異なる fact10: もしもあのムスリム世界は手痛いならば「その日本映画発達史は接岸しないしかつ意識化出来ない」ということは成り立たない
fact6 & fact7 -> int1: 「あのムスリム世界は冷凍だ」ということは事実だ; fact1 -> int2: もしあのムスリム世界が冷凍だとすればそれは手痛い; int1 & int2 -> int3: あのムスリム世界は手痛い; int3 & fact10 -> int4: 「「その日本映画発達史は接岸するということはなくて意識化出来るということはない」ということは成り立つということはない」ということは本当だ; int4 & fact3 -> int5: その謎掛けは生まれ難くない; fact5 -> int6: もしその謎掛けは生まれ難くないとすれば「それは保健福祉サービスでないしまたＡ・Ｂ・Ｃ・Ｄ・Ｅだということはない」ということは偽である; int5 & int6 -> int7: 「その謎掛けは保健福祉サービスでないしさらにそれはＡ・Ｂ・Ｃ・Ｄ・Ｅでない」ということは真実でない; int7 & fact2 -> hypothesis;
あの死刑執行人は集め易くない
$facts$ = fact1: もしある物は冷凍であるとすると手痛い fact2: 「その謎掛けは保健福祉サービスでないしその上それはＡ・Ｂ・Ｃ・Ｄ・Ｅでない」ということは誤っているとしたらあの死刑執行人は集め易い fact3: 仮に「その日本映画発達史は接岸しないし意識化出来ない」ということは成り立たないならばその謎掛けは生まれ難くない fact4: もし仮にあのムスリム世界が手痛くないけど冷凍だとするとその邪鬼は集め易いということはない fact5: なにかは生まれ難くないとすると「それは保健福祉サービスでないしＡ・Ｂ・Ｃ・Ｄ・Ｅでない」ということは間違いである fact6: もしその邪鬼が御送りするとするとあのムスリム世界は冷凍である fact7: その邪鬼は御送りする fact8: あの死刑執行人は御送りしない fact9: 「その謎掛けは生まれ難くないけれど手痛い」ということは事実と異なる fact10: もしもあのムスリム世界は手痛いならば「その日本映画発達史は接岸しないしかつ意識化出来ない」ということは成り立たない ; $hypothesis$ = あの死刑執行人は集め易い ; $proof$ = 
fact6 & fact7 -> int1: 「あのムスリム世界は冷凍だ」ということは事実だ; fact1 -> int2: もしあのムスリム世界が冷凍だとすればそれは手痛い; int1 & int2 -> int3: あのムスリム世界は手痛い; int3 & fact10 -> int4: 「「その日本映画発達史は接岸するということはなくて意識化出来るということはない」ということは成り立つということはない」ということは本当だ; int4 & fact3 -> int5: その謎掛けは生まれ難くない; fact5 -> int6: もしその謎掛けは生まれ難くないとすれば「それは保健福祉サービスでないしまたＡ・Ｂ・Ｃ・Ｄ・Ｅだということはない」ということは偽である; int5 & int6 -> int7: 「その謎掛けは保健福祉サービスでないしさらにそれはＡ・Ｂ・Ｃ・Ｄ・Ｅでない」ということは真実でない; int7 & fact2 -> hypothesis; __PROVED__
事実1: もしある物は冷凍であるとすると手痛い
事実2: 「その謎掛けは保健福祉サービスでないしその上それはＡ・Ｂ・Ｃ・Ｄ・Ｅでない」ということは誤っているとしたらあの死刑執行人は集め易い
事実3: 仮に「その日本映画発達史は接岸しないし意識化出来ない」ということは成り立たないならばその謎掛けは生まれ難くない
事実4: もし仮にあのムスリム世界が手痛くないけど冷凍だとするとその邪鬼は集め易いということはない
事実5: なにかは生まれ難くないとすると「それは保健福祉サービスでないしＡ・Ｂ・Ｃ・Ｄ・Ｅでない」ということは間違いである
事実6: もしその邪鬼が御送りするとするとあのムスリム世界は冷凍である
事実7: その邪鬼は御送りする
事実8: あの死刑執行人は御送りしない
事実9: 「その謎掛けは生まれ難くないけれど手痛い」ということは事実と異なる
事実10: もしもあのムスリム世界は手痛いならば「その日本映画発達史は接岸しないしかつ意識化出来ない」ということは成り立たない

仮説: あの死刑執行人は集め易い
1. 事実6と事実7から、推論1: "「あのムスリム世界は冷凍だ」ということは事実だ"が導かれる
2. 事実1から、推論2: "もしあのムスリム世界が冷凍だとすればそれは手痛い"が導かれる
3. 推論1と推論2から、推論3: "あのムスリム世界は手痛い"が導かれる
4. 推論3と事実10から、推論4: "「「その日本映画発達史は接岸するということはなくて意識化出来るということはない」ということは成り立つということはない」ということは本当だ"が導かれる
5. 推論4と事実3から、推論5: "その謎掛けは生まれ難くない"が導かれる
6. 事実5から、推論6: "もしその謎掛けは生まれ難くないとすれば「それは保健福祉サービスでないしまたＡ・Ｂ・Ｃ・Ｄ・Ｅだということはない」ということは偽である"が導かれる
7. 推論5と推論6から、推論7: "「その謎掛けは保健福祉サービスでないしさらにそれはＡ・Ｂ・Ｃ・Ｄ・Ｅでない」ということは真実でない"が導かれる
8. 推論7と事実2から、仮説が導かれる

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