あの難関は考え易いし加えてスラム化する
fact1: もしも「「なにがしかのものは支障無くて妊娠する」ということは間違いでない」ということは成り立たないとすればそれは支障無くない fact2: もしもあの難関は固くなくて独立しないならそれは考え易い fact3: あの酷さは固くないとしたら「あの難関は支障無くて加えて妊娠する」ということは偽だ fact4: あの観客動員力はやっかまないしかつそれは乏しくない fact5: 「あの難関は固くない」ということは成り立つ fact6: もし仮に何らかの物は支障無くないとすると「それは考え易くてさらにそれはスラム化する」ということは成り立たない fact7: 「あの酷さは印象深い」ということは成り立つ fact8: 「あのＭＲＩ検査は固い」ということは成り立つ fact9: あの酷さは支障無くてそれは妊娠する fact10: あの酷さは妊娠する fact11: 仮に何らかのものがスラム化すればそれは支障無いかあるいは妊娠しない fact12: もし仮にあの酷さが支障無いならあの難関はスラム化する fact13: 仮に「このパッチテストは辛いかまたは固い」ということは事実であるということはないとしたらあの酷さは固くない fact14: あの難関は固くないしまた独立しない
fact9 -> int1: あの酷さは支障無い; int1 & fact12 -> int2: あの難関はスラム化する; fact2 & fact14 -> int3: あの難関は考え易い; int2 & int3 -> hypothesis;
「あの難関は考え易いし更にスラム化する」ということは成り立たない
fact15 -> int4: もし仮にあの難関は支障無いということはないなら「考え易くてまたスラム化する」ということは間違いだ; fact16 -> int5: もし仮に「あの難関が支障無いしその上妊娠する」ということは嘘なら支障無いということはない;
$facts$ = fact1: もしも「「なにがしかのものは支障無くて妊娠する」ということは間違いでない」ということは成り立たないとすればそれは支障無くない fact2: もしもあの難関は固くなくて独立しないならそれは考え易い fact3: あの酷さは固くないとしたら「あの難関は支障無くて加えて妊娠する」ということは偽だ fact4: あの観客動員力はやっかまないしかつそれは乏しくない fact5: 「あの難関は固くない」ということは成り立つ fact6: もし仮に何らかの物は支障無くないとすると「それは考え易くてさらにそれはスラム化する」ということは成り立たない fact7: 「あの酷さは印象深い」ということは成り立つ fact8: 「あのＭＲＩ検査は固い」ということは成り立つ fact9: あの酷さは支障無くてそれは妊娠する fact10: あの酷さは妊娠する fact11: 仮に何らかのものがスラム化すればそれは支障無いかあるいは妊娠しない fact12: もし仮にあの酷さが支障無いならあの難関はスラム化する fact13: 仮に「このパッチテストは辛いかまたは固い」ということは事実であるということはないとしたらあの酷さは固くない fact14: あの難関は固くないしまた独立しない ; $hypothesis$ = あの難関は考え易いし加えてスラム化する ; $proof$ = 
fact9 -> int1: あの酷さは支障無い; int1 & fact12 -> int2: あの難関はスラム化する; fact2 & fact14 -> int3: あの難関は考え易い; int2 & int3 -> hypothesis; __PROVED__
事実1: もしも「「なにがしかのものは支障無くて妊娠する」ということは間違いでない」ということは成り立たないとすればそれは支障無くない
事実2: もしもあの難関は固くなくて独立しないならそれは考え易い
事実3: あの酷さは固くないとしたら「あの難関は支障無くて加えて妊娠する」ということは偽だ
事実4: あの観客動員力はやっかまないしかつそれは乏しくない
事実5: 「あの難関は固くない」ということは成り立つ
事実6: もし仮に何らかの物は支障無くないとすると「それは考え易くてさらにそれはスラム化する」ということは成り立たない
事実7: 「あの酷さは印象深い」ということは成り立つ
事実8: 「あのＭＲＩ検査は固い」ということは成り立つ
事実9: あの酷さは支障無くてそれは妊娠する
事実10: あの酷さは妊娠する
事実11: 仮に何らかのものがスラム化すればそれは支障無いかあるいは妊娠しない
事実12: もし仮にあの酷さが支障無いならあの難関はスラム化する
事実13: 仮に「このパッチテストは辛いかまたは固い」ということは事実であるということはないとしたらあの酷さは固くない
事実14: あの難関は固くないしまた独立しない

仮説: あの難関は考え易いし加えてスラム化する
1. 事実9から、推論1: "あの酷さは支障無い"が導かれる
2. 推論1と事実12から、推論2: "あの難関はスラム化する"が導かれる
3. 事実2と事実14から、推論3: "あの難関は考え易い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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