そのドラゴンは奈落でない
fact1: 仮にある物は奈落でないとすると腫れぼったいしさらに誘発し易い fact2: この電子メールメッセージは図案化しない fact3: もしもそのドラゴンが定型化すればそれは奈落である fact4: もし仮になにかは定型化するとすれば「出遅れない」ということは成り立たない fact5: 仮にあの代替地は所轄しないなら「そのドラゴンは慎み深いけれど切り立たない」ということは偽だ fact6: もし仮に「なにがしかのものは図案化するけれど判断し難くない」ということは事実と異なるとしたら奈落であるということはない fact7: そのドラゴンは切り立つとしたら「この生産は雄々しい一方で深くない」ということは嘘である fact8: もし仮に「そのドラゴンは入室だ」ということは確かならば「それは図案化する」ということは本当だ fact9: そのドラゴンは誘発し易くて定型化する fact10: そのドラゴンは誘発し易い fact11: もし仮に「図案化するということはない」物はあるとすると「この生産は図案化するが判断し難くない」ということは間違いだ fact12: もし仮に「その業務課題はむくつけしないしそれに回復し得るということはない」ということは誤っていないならばあの代替地は所轄するということはない fact13: 「そのドラゴンは慎み深いけど切り立たない」ということは誤っていれば切り立つ fact14: 「もしも「この生産は雄々しいけれど深くない」ということは成り立たないとすればこの生産は定型化する」ということは成り立つ
fact9 -> int1: そのドラゴンは定型化する; int1 & fact3 -> hypothesis;
この生産は腫れぼったくておまけに出遅れる
fact15 -> int2: もし仮にこの生産が奈落でないならそれは腫れぼったくてかつ誘発し易い; fact21 -> int3: 「この生産は図案化するがしかし判断し難くない」ということは嘘であるとすると奈落であるということはない; fact17 -> int4: 何らかのものは図案化しない; int4 & fact22 -> int5: 「この生産は図案化するけれど判断し難くない」ということは嘘だ; int3 & int5 -> int6: この生産は奈落でない; int2 & int6 -> int7: この生産は腫れぼったくて加えて誘発し易い; int7 -> int8: この生産は腫れぼったい; fact24 -> int9: 仮にこの生産が定型化するとすればそれは出遅れる;
$facts$ = fact1: 仮にある物は奈落でないとすると腫れぼったいしさらに誘発し易い fact2: この電子メールメッセージは図案化しない fact3: もしもそのドラゴンが定型化すればそれは奈落である fact4: もし仮になにかは定型化するとすれば「出遅れない」ということは成り立たない fact5: 仮にあの代替地は所轄しないなら「そのドラゴンは慎み深いけれど切り立たない」ということは偽だ fact6: もし仮に「なにがしかのものは図案化するけれど判断し難くない」ということは事実と異なるとしたら奈落であるということはない fact7: そのドラゴンは切り立つとしたら「この生産は雄々しい一方で深くない」ということは嘘である fact8: もし仮に「そのドラゴンは入室だ」ということは確かならば「それは図案化する」ということは本当だ fact9: そのドラゴンは誘発し易くて定型化する fact10: そのドラゴンは誘発し易い fact11: もし仮に「図案化するということはない」物はあるとすると「この生産は図案化するが判断し難くない」ということは間違いだ fact12: もし仮に「その業務課題はむくつけしないしそれに回復し得るということはない」ということは誤っていないならばあの代替地は所轄するということはない fact13: 「そのドラゴンは慎み深いけど切り立たない」ということは誤っていれば切り立つ fact14: 「もしも「この生産は雄々しいけれど深くない」ということは成り立たないとすればこの生産は定型化する」ということは成り立つ ; $hypothesis$ = そのドラゴンは奈落でない ; $proof$ = 
fact9 -> int1: そのドラゴンは定型化する; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にある物は奈落でないとすると腫れぼったいしさらに誘発し易い
事実2: この電子メールメッセージは図案化しない
事実3: もしもそのドラゴンが定型化すればそれは奈落である
事実4: もし仮になにかは定型化するとすれば「出遅れない」ということは成り立たない
事実5: 仮にあの代替地は所轄しないなら「そのドラゴンは慎み深いけれど切り立たない」ということは偽だ
事実6: もし仮に「なにがしかのものは図案化するけれど判断し難くない」ということは事実と異なるとしたら奈落であるということはない
事実7: そのドラゴンは切り立つとしたら「この生産は雄々しい一方で深くない」ということは嘘である
事実8: もし仮に「そのドラゴンは入室だ」ということは確かならば「それは図案化する」ということは本当だ
事実9: そのドラゴンは誘発し易くて定型化する
事実10: そのドラゴンは誘発し易い
事実11: もし仮に「図案化するということはない」物はあるとすると「この生産は図案化するが判断し難くない」ということは間違いだ
事実12: もし仮に「その業務課題はむくつけしないしそれに回復し得るということはない」ということは誤っていないならばあの代替地は所轄するということはない
事実13: 「そのドラゴンは慎み深いけど切り立たない」ということは誤っていれば切り立つ
事実14: 「もしも「この生産は雄々しいけれど深くない」ということは成り立たないとすればこの生産は定型化する」ということは成り立つ

仮説: そのドラゴンは奈落でない
1. 事実9から、推論1: "そのドラゴンは定型化する"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。