あの特別立法は生じる
fact1: され易いものは生じる fact2: この月数が横領するとしたらそれは習い出すが十例でない fact3: この分子吸収スペクトルが穂軸でないし更にそれが前面像でないとするとこの登場人物達は前面像だ fact4: この月数は横領するし無声化し易い fact5: もし「され易い」物があるならあの特別立法は生じない fact6: もしもこの登場人物達が前面像であるならばあの特別立法はされ易い fact7: スポーツマンらしい物は渡船だ fact8: 「され易い」ものはある fact9: 仮になにがしかのものは渡船であるならばそれは穂軸でなくてしかも前面像でない
fact8 & fact5 -> hypothesis;
あの特別立法は生じる
fact14 -> int1: 仮にあの特別立法はされ易いとすれば「それは生じる」ということは事実だ; fact15 -> int2: 仮にこの分子吸収スペクトルが渡船だとすれば穂軸でないしおまけにそれは前面像でない; fact12 -> int3: もし「この分子吸収スペクトルはスポーツマンらしい」ということは成り立てば渡船である; fact13 -> int4: この月数は横領する; fact10 & int4 -> int5: この月数は習い出すが十例でない; int5 -> int6: 「習い出すがしかし十例でない」物はある;
$facts$ = fact1: され易いものは生じる fact2: この月数が横領するとしたらそれは習い出すが十例でない fact3: この分子吸収スペクトルが穂軸でないし更にそれが前面像でないとするとこの登場人物達は前面像だ fact4: この月数は横領するし無声化し易い fact5: もし「され易い」物があるならあの特別立法は生じない fact6: もしもこの登場人物達が前面像であるならばあの特別立法はされ易い fact7: スポーツマンらしい物は渡船だ fact8: 「され易い」ものはある fact9: 仮になにがしかのものは渡船であるならばそれは穂軸でなくてしかも前面像でない ; $hypothesis$ = あの特別立法は生じる ; $proof$ = 
fact8 & fact5 -> hypothesis; __DISPROVED__
事実1: され易いものは生じる
事実2: この月数が横領するとしたらそれは習い出すが十例でない
事実3: この分子吸収スペクトルが穂軸でないし更にそれが前面像でないとするとこの登場人物達は前面像だ
事実4: この月数は横領するし無声化し易い
事実5: もし「され易い」物があるならあの特別立法は生じない
事実6: もしもこの登場人物達が前面像であるならばあの特別立法はされ易い
事実7: スポーツマンらしい物は渡船だ
事実8: 「され易い」ものはある
事実9: 仮になにがしかのものは渡船であるならばそれは穂軸でなくてしかも前面像でない

仮説: あの特別立法は生じる
1. 事実8と事実5から、仮説が否定される

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